推 ric2k1:明天會完整介紹，希望屆時大家就比較清楚了! 12/28 00:26
在下資質不夠 FEC 看了許久還是有點不懂所以只好跑來問問題囧
我大概知道 simulate 將 Gate 分好幾個小堆的用意
呃 可是不知道接下來怎麼找 FEC pair
比如說範例舉的例子 ab + c = (a + b)(a + c)
我從兩邊的 output 知道這個 output Gate 可能是一個 FEC pair
可是我要怎麼向下找兩層找到說 噢 原來這一堆是 FEC
還是 ReportGate -FEC 只是顯示同小堆的 Gate?
還有上面的例子在 AIG 裡面應該是個 IFEC 吧?
因為左邊最後一個 Gate 是 or ...
所以 IFEC 也要算進去嗎?
先感謝回答m(_ _)m
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.249.64
※ 編輯: wmin0 來自: 140.112.249.64 (12/26 13:33)