作者BBSealion (海獅)
看板EE_DSnP
標題[問題] ref 的 bug（？）
時間Thu Jan 13 10:50:08 2011
不確定這算不算bug
我輸入
aag 14 7 0 1 7
2
4
6
8
10
12
14
28
16 0 2
18 4 6
20 8 10
22 12 14
24 16 18
26 20 22
28 24 26
就是一個很單純的二元樹狀結構：
8個input（一個const0），再接到四個and gate，
再接到兩個and gate，再接到一個andgate，最後output
0--\
8---\
1--/ \
12-----\
2--\ / \
9---/ \
3--/ \
14---15
4--\ /
10---\ /
5--/ \ /
13----/
6--\ /
11---/
7--/
這個檔案一讀進去後就會
Simplifying: 0 merging 8...
Simplifying: 0 merging 12...
Simplifying: 0 merging 14...
然後理所當然的剩下一個output接到const0了
但我去report gate （cirg) 的時候，發現除了input外
9 10 11這四個"第三層" and gate都還活著
還有 13 這兩個"第二層" and gate也還在
感覺上simplify不是應該把不用的就砍了嗎？
strash時連input一樣的都被砍掉了，沒道理dummy的gate還留著
是因為spec說input不能砍
如果變成"保留input 其他都砍掉"又很怪
所以才乾脆全部留下來嗎？
---
以下不重要心得文：
雖然說simplify是選擇性做
但strash後的simplify不做的話會影響挺大的...
不過做它 report gate好麻煩＝ ＝+
要上下沿線去砍掉所有AIG gate
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.168.223.129
※ 編輯: BBSealion 來自: 218.168.223.129 (01/13 10:58)
1F：→ ckmarkoh:PI不能砍 但是化減後再做reverse DFT 是不會走到那些PI 01/13 11:09
2F：→ ckmarkoh:所以用cirp -n是不會顯示出來 但可以用cirg x(PI)顯示出 01/13 11:10
3F：→ BBSealion:我指的是那些AIG不用砍掉嗎？ 01/13 11:13
4F：推 ric2k1:9,10,11,13 這幾個 gates 要不要砍掉隨便你們，只要確定 01/13 13:04
5F：→ ric2k1:在你 simplify 後不再 DFS list 裡面就好了。 01/13 13:04
6F：→ ric2k1:Simplify 一個 gate 後要沿路砍其實還挺麻煩的，我是覺得 01/13 13:05
7F：→ ric2k1:沒有甚麼比要啦，所以把他們留下來，但是會在 cirp -fl 裏 01/13 13:06
8F：→ ric2k1:被 report 出來 01/13 13:06