※ 引述《BBSealion (海獅)》之銘言： : 自問自答（好蠢） : aag 3 2 0 1 1 : 2 : 4 : 6 : 6 2 0 : 老師的ref測試結果是： : 問floating ： 沒有 （那個沒用到的input 4，和andgate 6 都不算floating） : 問netlist： 4 0 （直接就接到0，其他不見了！） : 問PO： 4 （很正常） : 問PI： 1 2 （原來的PI都保留下來了，創造出來的卻Constant 0 沒有report） : 用cirg問3 ：not found（確定and gate直接被砍掉了） : --- : 小結論： : 4 不算floating挺驚訝的... 原本很直觀的會想算他 : 這種情況會變成netlist上顯現出來的東西 : 在PI中卻找不到 : 不過當成constant 0的例外狀況也不算太過分啦 : 先這樣XD 用新的 ref prog run 過你的 case 的結果如下，希望會比較清楚: aag 3 2 0 1 1 2 4 6 6 2 0 ============================================= // NO optimization version fraig> cirr strash10.aag -rep -noopt Note: original circuit is replaced... fraig> cirp -n [0] PI 1 [1] AIG 3 1 0 [2] PO 4 3 fraig> cirp -pi PIs of the circuit: 1 2 fraig> cirp -po POs of the circuit: 4 fraig> cirp -fl Gates defined but not used : 2 fraig> cirg 4 -fanin 2 PO 4 AIG 3 PI 1 CONST 0 ======================================= // Optimized version fraig> cirr strash10.aag Simplifying: 0 merging 3... fraig> cirp -n [0] PO 4 0 fraig> cirp -pi PIs of the circuit: 1 2 fraig> cirp -po POs of the circuit: 4 fraig> cirp -fl Gates defined but not used : 1 2 fraig> cirg 4 -fanin 2 PO 4 CONST 0 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.36.54.155