作者djshen (djshen)
看板EE_DSnP
标题[问题] fraig
时间Sun Jan 15 15:49:46 2012
在sim05中
fraig会用0来merge其他gate
但是像
aag 4 1 0 1 3
8
6
2 0 8
4 0 8
6 2 4
cirsim -r
cirp -fec
1 2 3会在一起
但fraig没有作用
不太懂到底要不要处理用0 merge的情况
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.25.106
1F：推 kickpp:直接接const0的aig好像不会被sat判断成相等 01/15 16:26
2F：→ kickpp:应该是因为这样merge时会出问题 它是属於input merge的case 01/15 16:27
3F：→ kickpp:但照理说1要merge2 & 3 我的fraig会做 ref不会 01/15 16:27
4F：→ kickpp:应该是implement不同的关系吧 01/15 16:28
5F：→ djshen:这样有点困扰.. 01/15 16:30
6F：→ kickpp:但如果是第三行是2 8 9这种例子 就会被sat判断成与const0 01/15 16:31
7F：→ kickpp:相等 01/15 16:31
8F：→ kickpp:这样不会困扰吧 如果直接接const0的情况也被判断成相等 01/15 16:32
9F：→ kickpp:merge时还要判断是哪种情况 反而麻烦 01/15 16:32
10F：推 kickpp:另外小声说...你的_numDecl[VARS]错了XDDD 01/15 16:36
打错而已嘛..
※ 编辑: djshen 来自: 140.112.25.106 (01/15 16:39)
11F：推 kickpp:突然发现好像不用另外判断 那sat应该要判断出来才对XDDDD 01/15 16:41
12F：→ kickpp:刚刚想错XDD 01/15 16:42