[問題] 關於fraig後的circuit report

[ckmarkoh (阿傑)]

用reference program 把sim10.aag做fraig是可以化成const 0


但是如果做circuit report的時候會發現
有些gate是沒被清掉的 而變成floating gate

fraig> cirp -n

[0] CONST0
[1] PO  753 !0
fraig> cirp -n


fraig> cirp -fl
Gates defined but not used  : 155 177 185 196 204 212 220 311 397 415 420
425 431 437 443 449 455 492 543 547 549 554 558 562 564 596 635 655 660 664
667 671 675 679 683 692 693 719 742 745 748


fraig> cirp

Circuit Statistics
==================
  PI          36
  PO           1
  AIG        348
------------------
  Total      385


所以這是正常現象嗎?
還是程式有問題而沒有把該清掉的gate給清掉?
而且那些沒被清掉的aig gate總共有348個
而只有少部分被當floating gate給report出來...


--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.4.193
推 BBSealion:我覺得算正常的 就是砍GATE的時候 沒有處理沿路砍回去
→ BBSealion:的問題 就讓他FLOATING在那 但不影響DFS的結果就好吧
推 ric2k1:嗯，我忘記我哪篇回過，我的 optimization 只有在 DFS cone
→ ric2k1:裏頭做，外面的是有可能在 PO 變成 const 之後變成 float
→ ric2k1:被 report 的只有 #fanout = 0 的 gates 哦! 他們的 fanins
→ ric2k1:根據 spec 是不用被 report 的!