※ 引述《robertabcd (robert)》之铭言： : 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