推 hsnuyi:... 感覺快寫好了...(?) 12/22 17:58
推 ric2k1:恩，known problem 就是在這種情況印 fanout 時會看哪一個 12/22 21:51
→ ric2k1:(有或是沒有 "!") 先被印出來，後面那個就會印一樣的。 12/22 21:52
→ ric2k1:不過在 ciropt 一次 gate 333 就不見囉! 12/22 21:52
好像不只是印不出 ! 這麼簡單....
fraig> cirr tests.fraig/sim10.aag
fraig> ciropt
這裡的訊息先不管
fraig> cirstr
這裡也是
fraig> cirg 333 -fani 1
AIG 333
!AIG 276
AIG 276
這裡應該會發生 known problem
fraig> cirg 276 -fano 1
前面省略
!AIG 333
AIG 660
AIG 666
AIG 675
AIG 682
!AIG 333
--
結論:
known problem 可能也會出現 "兩個都印出 ! " 這種情況
--
我開始覺得我乾脆故意弄出 known problem 好了...
比測資比的好累....
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.25.108