[問題] cirp -netlist

[scuendless (scu)]

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)
推 hunallen:我覺的const0不用印耶 他是提醒走到他之前的po是const
→ hunallen:所以在印po的內容時 要印0或!0
→ hunallen:不知道對不對
推 hunallen:我沒有把const加到dfs裡面
→ scuendless:不過spec第8頁的例子有印說
推 hunallen:照2973的講法應該是cirgate時才要印?
推 hunallen:spec的確說要把const gate加入dfs裡
推 ric2k1:是的，const 0 will be included in dfs list if it is
→ ric2k1:reached by POs.
→ scuendless:但是ref並沒有把CONST0印出來耶～
推 ric2k1:啊! Spec 的確有寫 (1.3) Constant gate (i.e. CONST0) sho
→ ric2k1:uld be included if it is visited during the DFS travers
→ ric2k1:所以我得來改一下 ref prog...
→ scuendless:謝謝老師回答! 老師辛苦囉 實在有太多細節了｜｜｜