作者Letitiamm (Letitia)
看板EE_DSnP
标题[问题] PO PI be merge?
时间Mon Jan 17 23:15:46 2011
我记得老师好像有说过
input跟output 不能被merge掉 （我该不会记错了吧 T 皿 T ）
但是我刚刚用ref跑 tests.fraig/sim08.aag的时候
他原本是
PI 1
PI 2
AIG 4 1 2
AIG 5 !1 !2
AIG 6 4 5
PO 9 6
AIG 3 2 1
AIG 7 5 3
PO 10 7
但是fraig 後 会变成
CONST 0
PO 9 0
PO 10 0
~~~~~~~~~~~~~~~~~~~~~~~
因为我FEC都是放AIG gate 所以fraig後会变成
PI 2
PI 1
AIG 3 2 1
AIG 5 !1 !2
AIG 6 3 5
PO 9 6
PO 10 6
~~~~~~~~~~~~~~~~~~~~~~~~~~~
fraig最後的结果一定要跟 ref跑出来的一样吗？？
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.216.200
1F：推 BBSealion:这看起来是好像是没有化到最简耶？ 算fraig做一半？ 01/17 23:42
2F：→ BBSealion:老师的in应该没有被砍掉 只是dfs找不到他们了而已 01/17 23:43
3F：推 ckmarkoh:若电路不是化简成const0的 fraig後不一定会跟老师的一样 01/17 23:48
4F：→ ckmarkoh:因为保留和删掉的gate可能会不一样 01/17 23:48
5F：→ Letitiamm:我只有设一个gate的两个fanin: 一样,或有const gate 01/17 23:49
6F：→ Letitiamm:还有fec证实相等的时候 才merge 01/17 23:51
7F：→ Letitiamm:还有strhash 把两个gate merge起来 我有漏掉什麽吗？ 01/17 23:52
8F：推 BBSealion:完全相反的也可以照一定规则merge喔 fra和str都有 01/17 23:59
9F：→ Letitiamm:所以我这样有算没有化简完吗 ？?还有哪些还需要再化 01/18 00:11
10F：推 ric2k1:PI 如果不再 DFS 里头我是不会在 cirp -n 报出来 01/18 00:19
11F：→ ric2k1:但请参阅 3032 篇，我会让 cirp 的测试与 opt 没有关联 01/18 00:19
12F：→ BBSealion:喔... 我眼残 这不是完全相反的CASE 不过明显6等於 01/18 00:36
13F：→ BBSealion:1 & !1 & 2 & !2 用SAT去证他是const 0 吧！ 01/18 00:37