: : 1. merge 後, 若有gate的值完全不會被用到, 可以刪掉他嗎? : : 如果讀入 aag檔的時候就發現他的值不會被用到, 可以刪掉他嗎? : : (假設他們都是 aig gate) : : <我測 ref prog 的時候發現, 前者的會刪, 而後者不會(用 cirg 可看到資訊), : : 然而 cirw 輸出的檔案兩者的 gate 都沒有. > : : cirr 是把電路讀進來，所以如果有 floating or unused gates 的情形能夠 : report 出來。 : : : 但是如果經過 optimization 之後，就不用保證那些 gates 還要存在， : : so it is up to whether you want to remove them. : : : 2. 請問 cirg X -fanin/out X 是要輸出 目前的圖 還是 aag檔案所定義的圖? : : (因為可能會被 merge) : : 請輸出目前的圖。 Otherwise you need to keep two copies of circuit... : : -- :

※ 發信站: 批踢踢實業坊(ptt.cc) : ◆ From: 114.36.62.203 : 推 robertabcd:ok, 謝謝 01/16 00:33 : 推 johnjohnlin:請問一下 cirp -n 跟 cirp 呢？ 01/16 00:54 cirp -n 是 report DFS list 的 gates, 所以要 report up-to-dated list 但由於每個人 optimize 過後可能也會不一樣， 所以我們只會測最後 optimize 成 const 的電路， 或是測看看會不會 crash... cirp 是 report summary, 理論上應該也是要 report current remained #gates, 但是由於 spec 沒有講清楚，所以如同我前幾篇所說的， 我不會去測 optimize 過後的 report summary. 目前 ref prog 是 report 原始檔案的 summary. 既然不會測，就隨便你們定義吧! 合理就好。 --

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