→ yan12125:ab'跟a'b不一樣喔 01/14 19:28
→ yan12125:這個電路497跟498下面Opt一番之後就變成fanin一樣了... 01/14 19:33
→ shps90060505:阿阿阿真的耶我在想什麼...太久沒睡惹 01/14 19:37
→ shps90060505:那這樣看來我是其他地方有bug 很感謝樓上^^ 01/14 19:42
剛剛發現一件很奇怪的事
就是
在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)