[問題] ciropt

[djshen (djshen)]

最新的ref

aag 2 1 0 1 1
2
4
4 1 2

>ciropt
Simplifying: 1 merging 2...

>cirp -fl
Gates defined but not used  : 1

>cirp -n

[0] PI  1
[1] PO  3 1

>cirsw

>cirp -fl

>

1不應該出現在unused裡面..

如果1是另外一個AIG的fanin就不會出現unused

所以不知道是不是opt沒判斷到fanout只有PO的情況

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 111.248.8.237
※ 編輯: djshen          來自: 111.248.8.237        (12/30 01:01)
推 ric2k1:This is a bug in ref prog. 這是因為我先 removeFanout 再
→ ric2k1:mergeFanout, 以至於在前一步就判斷是 UNUSED, 但那是錯的
→ ric2k1:已修正，下次再一起上傳新的 ref prog。
推 luhan0012002:兩個fanin相同時 merge在一起也有一樣的狀況
推 ric2k1:(note) 1 不應該再 UNUSED 裡面。