作者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