作者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