: : 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