推 ric2k1:這就是要調教一下的地方... 01/13 01:18
推 ric2k1:其實發現一個 gate 跟其他同組的 gates 都 non-EQ 也可以 01/13 01:19
→ ric2k1:把它拿掉! 01/13 01:19
假設現在有一FEC pairs有 A B C D E... N個gate
而實際上相等的可能性有
A=B, C=D=E... 或是A=B=C , D=E...
很多很多情形
但要找出其中相等的組合 好像沒辦法用存hash或map的方式去找
只能跑N^2迴圈 分別丟進SAT的function來驗證它們是否相等..
不過 如果simulation做得夠多次的話
一個FEC pairs中應該不會有很多個gate
而且發現一對SAT equivalence之後 就可以少掉一個gate 降低N值
但是simulation的次數也不可太多
因為simulation的時間複雜度相當高
為了降低FEC pair中gate 的數量 而多做simulation
反而會花更多的時間
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 58.114.204.36