作者ckmarkoh (阿傑)
看板EE_DSnP
標題[討論] 將FEC pairs用SAT證明
時間Thu Jan 13 01:01:49 2011
假設現在有一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
1F：推 ric2k1:這就是要調教一下的地方... 01/13 01:18
2F：推 ric2k1:其實發現一個 gate 跟其他同組的 gates 都 non-EQ 也可以 01/13 01:19
3F：→ ric2k1:把它拿掉! 01/13 01:19