作者shps90060505 (蓝岚)
看板EE_DSnP
标题[讨论] strash的神秘现象??
时间Mon Jan 14 18:03:07 2013
刚刚发现一件很奇怪的事
就是
在fraig/tests.fraig之下
输入
../ref/fraig -f do_str >& sim10.ref
where do_str is ...
====== do_str ======
cirr sim10.aag
cirg 497 -fanin 1
cirg 498 -fanin 1
cirstr
cirg 497 -fanin 1
cirg 498 -fanin 1
cirr -r sim10.aag
cirg 497 -fanin 1
cirg 498 -fanin 1
ciropt
cirstr
cirg 497 -fanin 1
cirg 498 -fanin 1
q -f
=====================
cat sim10.ref | grep -A 8 'cirg 497'
--
fraig> cirg 497 -fanin 1
//一般的cirg
AIG 497
AIG 411
!AIG 496
fraig> cirg 498 -fanin 1
AIG 498
!AIG 411
AIG 496
--
fraig> cirg 497 -fanin 1
//strash之後的cirg
AIG 497
AIG 502
!AIG 621
fraig> cirg 498 -fanin 1
AIG 498
!AIG 502
AIG 621
--
fraig> cirg 497 -fanin 1
//cirr -r sim10.aag之後，一般的cirg
AIG 497
AIG 411
!AIG 496
fraig> cirg 498 -fanin 1
AIG 498
!AIG 411
AIG 496
--
fraig> cirg 497 -fanin 1
//ciropt, strash之後，再cirg
AIG 497
AIG 410
!AIG 410
fraig> cirg 498 -fanin 1
Error: Gate(498) not found!!
Illegal option!! (498)
-------------------------------------------------------------------
我的想法是，497和498既然都接到相同的gates，且恰好反向
正常的情况下这两个gate应该是会merge在一起
为何有无ciropt会对他们造成差异呢？
而我的程式是无论有没有ciropt都不会merge 497和498....
可能还要再找找看问题在哪....
但我所有的testfile，只有sim10.aag才会这样
还请强者帮忙~
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.218.188
※ 编辑: shps90060505 来自: 140.112.218.188 (01/14 18:06)
1F：→ yan12125:ab'跟a'b不一样喔 01/14 19:28
2F：→ yan12125:这个电路497跟498下面Opt一番之後就变成fanin一样了... 01/14 19:33
3F：→ shps90060505:阿阿阿真的耶我在想什麽...太久没睡惹 01/14 19:37
4F：→ shps90060505:那这样看来我是其他地方有bug 很感谢楼上^^ 01/14 19:42