[請益] 在sat merge

看板EE_DSnP作者 (roger)時間12年前 (2012/01/16 12:59), 編輯推噓2(2推 0噓 7→)
留言9則, 3人參與, 最新討論串1/2 (看更多)
請問一下 做sat的時候如果把gate merge掉了 那麼原本建立的var id之間的關係要如何處理呢 例如const0要merge aig 4 aig 4被砍掉之後是用assumeProperty來處理aig 4的var id嗎? 先謝謝回答 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 111.249.189.38
→
01/16 13:11, , 1F
個人是沒有重新接...反正一樣的就是一樣。
01/16 13:11, 1F
→
01/16 13:12, , 2F
我是說 SAT 裡的東西...不過不知道重新接會不會比較快？
01/16 13:12, 2F
→
01/16 13:12, , 3F
因為目前還沒重接拆...sim12 崩潰...但是也不確定接了速
01/16 13:12, 3F
→
01/16 13:13, , 4F
度上有沒有幫助 @@
01/16 13:13, 4F
推
01/16 15:49, , 5F
sim12崩潰+1
01/16 15:49, 5F
→
01/16 18:55, , 6F
我的做法是每次把solver reset 重接...
01/16 18:55, 6F
推
01/16 21:34, , 7F
請問要重接一定要 reset 嗎？還是有什麼指令可以直接重設
01/16 21:34, 7F
→
01/16 21:34, , 8F
某個 gate 的 fanin？
01/16 21:34, 8F
→
01/16 21:45, , 9F
召喚教授...
01/16 21:45, 9F
‣ 更多 happ6 的文章
文章代碼(AID): #1F4wx3Hn (EE_DSnP)
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 2 篇)：
排序： 最舊先 | 最新先 | 留言數
請益
2
9
[請益] 在sat merge 在sat merge
happ6
12年前, 01/16
在新視窗開啟完整討論串 (共2篇)
‣ 更多 happ6 的文章
文章代碼(AID): #1F4wx3Hn (EE_DSnP)