看板 [ EE_DSnP ]
討論串[請益] 在sat merge
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[請益] 在sat merge
推噓2(2推 0噓 7→)留言9則，0人參與, 最新作者happ6 (roger)時間12年前 (2012/01/16 12:59), 編輯資訊
1
0
0
內容預覽:
請問一下. 做sat的時候如果把gate merge掉了. 那麼原本建立的var id之間的關係要如何處理呢. 例如const0要merge aig 4. aig 4被砍掉之後是用assumeProperty來處理aig 4的var id嗎?. 先謝謝回答. --. ※ 發信站: 批踢踢實業坊(pt
#2
Re: [請益] 在sat merge
推噓0(0推 0噓 6→)留言6則，0人參與, 最新作者ric2k1 (Ric)時間12年前 (2012/01/17 02:39), 編輯資訊
0
0
0
內容預覽:
電路上就用與 strash 相同的方法來 merge 兩個 gates,. 被 merge 的 gate 我是只有 delete 掉它本身，沒有去管它的 transitive fanins,. 所以有可能會造成 floating cells, 反正 fraig 完再呼叫 cirsweep 就好了。.
(還有324個字)
首頁
上一頁
1
下一頁
尾頁