作者happ6 (roger)
看板EE_DSnP
标题[请益] 在sat merge
时间Mon Jan 16 12:59:44 2012
请问一下
做sat的时候如果把gate merge掉了
那麽原本建立的var id之间的关系要如何处理呢
例如const0要merge aig 4
aig 4被砍掉之後是用assumeProperty来处理aig 4的var id吗?
先谢谢回答
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 111.249.189.38
1F：→ victoret:个人是没有重新接...反正一样的就是一样。 01/16 13:11
2F：→ victoret:我是说 SAT 里的东西...不过不知道重新接会不会比较快？ 01/16 13:12
3F：→ victoret:因为目前还没重接拆...sim12 崩溃...但是也不确定接了速 01/16 13:12
4F：→ victoret:度上有没有帮助 @@ 01/16 13:13
5F：推 ntueesuevan:sim12崩溃+1 01/16 15:49
6F：→ wmin0:我的做法是每次把solver reset 重接... 01/16 18:55
7F：推 victoret:请问要重接一定要 reset 吗？还是有什麽指令可以直接重设 01/16 21:34
8F：→ victoret:某个 gate 的 fanin？ 01/16 21:34
9F：→ wmin0:召唤教授... 01/16 21:45