[問題] cirg *

[hunallen (一路上有你)]

想請問一下老師
spec中寫說如果gate 的fanin/out被report過的話
就不用在report他的 fanin/out
但是要在他的後面加個註解 (*)

那pi或po或UNDEF算在這些gate中嗎

我在ref中測試 flt07.aag

輸入cirg 9-fanin 3
AIG 9
  AIG 7
    UNDEF 6
    AIG 5
      !CONST 0
      PI 1
  AIG 8
    AIG 5 (*)
    AIG 3
      PI 1   沒有星號
      PI 2

輸入cirg 8 -fanin 3
AIG 8
  AIG 5
    !CONST 0
    PI 1
  AIG 3
    PI 1 (*)  有星號
    PI 2

兩個case不一致
請問一下老師我們要作哪一種？

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.244.58
※ 編輯: hunallen        來自: 140.112.244.58       (01/09 22:27)
→ hunallen: 我大概知道問題了 必須有往下才要印
→ hunallen:不過UNDEF要考慮嗎
推 ric2k1:哦! -fanin 時遇到 PI/CONST/UNDEF 應該都不用加 (*)
→ ric2k1:    -fanout 遇到 PO 時不用加 (*)
→ ric2k1:ref prog 忘記檢查了... spec 也應該要修正一下!
→ hunallen:謝謝老師