作者scuendless (scu)
看板EE_DSnP
標題[問題] cirp -netlist
時間Thu Jan 6 12:10:58 2011
spec上是說for the gates in DFS list only
但像是ok01.aag的檔案
aag 7 2 0 3 3
2
4
6
12
1
6 13 15
12 2 4
14 3 5
ref prog印出來會是
[0] PI 1 (x)
[1] PI 2 (y)
[2] AIG 6 1 2
[3] AIG 7 !1 !2
[4] AIG 3 !6 !7
[5] PO 8 3 (s)
[6] PO 9 6 (c)
[7] PO 10 !0
但其實在[7]之前應該會先走到const gate,
就const gate也是在DFS list之中
我看log上面也說
const gate應該加在list之中
所以應該是
[0] PI 1 (x)
[1] PI 2 (y)
[2] AIG 6 1 2
[3] AIG 7 !1 !2
[4] AIG 3 !6 !7
[5] PO 8 3 (s)
[6] PO 9 6 (c)
[7] CONST0
[8] PO 10 !0
嗎～？
不確定有沒有漏看
謝謝~
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.199
※ 編輯: scuendless 來自: 140.112.4.199 (01/06 12:16)
1F：推 hunallen:我覺的const0不用印耶 他是提醒走到他之前的po是const 01/06 12:41
2F：→ hunallen:所以在印po的內容時 要印0或!0 01/06 12:42
3F：→ hunallen:不知道對不對 01/06 12:42
4F：推 hunallen:我沒有把const加到dfs裡面 01/06 12:47
5F：→ scuendless:不過spec第8頁的例子有印說 01/06 12:48
6F：推 hunallen:照2973的講法應該是cirgate時才要印? 01/06 13:29
7F：推 hunallen:spec的確說要把const gate加入dfs裡 01/06 19:31
8F：推 ric2k1:是的，const 0 will be included in dfs list if it is 01/06 21:06
9F：→ ric2k1:reached by POs. 01/06 21:07
10F：→ scuendless:但是ref並沒有把CONST0印出來耶～ 01/07 01:09
11F：推 ric2k1:啊! Spec 的確有寫 (1.3) Constant gate (i.e. CONST0) sho 01/07 01:32
12F：→ ric2k1:uld be included if it is visited during the DFS travers 01/07 01:32
13F：→ ric2k1:所以我得來改一下 ref prog... 01/07 01:32
14F：→ scuendless:謝謝老師回答! 老師辛苦囉 實在有太多細節了｜｜｜ 01/07 16:16