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