作者yan12125 (姥姥)
看板EE_DSnP
標題[問題] Strash結果不一樣
時間Tue Dec 25 00:47:05 2012
可能是實作的方法不同，我Strash出來的結果和ref大相逕庭，主要是有些可以merge的
gate pair我會比ref早merge，而有些會比ref晚merge，譬如說：
(vimdiff resultMy resultRef，我把行號刪掉了)
fraig> cirr tests.fraig/sim09.aag | fraig> cirr tests.fraig/sim09.aag
...(略)...
Strashing: 333 merging 189... | Strashing: 333 merging 189...
Strashing: 2497 merging 185... | ----------------------------------
Strashing: 2500 merging 191... | ----------------------------------
Strashing: 183 merging 198... | Strashing: 183 merging 198...
...(略)...
Strashing: 184 merging 2496... | Strashing: 184 merging 2496...
-----------------------------------|
Strashing: 185 merging 2497...
Strashing: 186 merging 2498... | Strashing: 186 merging 2498...
Strashing: 190 merging 2499... | Strashing: 190 merging 2499...
-----------------------------------|
Strashing: 191 merging 2500...
連帶後面cirw, cirp -net都不一樣了，雖然數字不一樣的地方都是equivalent gates
PDF上有說可以merge時留哪一個都可以，不過好像沒有提到這種情況...
順帶一提，Hash裡的replaceInsert()和forceInsert()是作什麼用的？我爬版看了以前的
討論，但還是不太了解...
--
雨後荷花承恩露，滿城春色映朝陽
大明湖畔風光好，泰岳峰高聖澤長
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.241.234
※ 編輯: yan12125 來自: 140.112.241.234 (12/25 00:49)
1F：推 ric2k1:兩種都可以，我們在測的時候會挑一些不會有 ambiguity 的 12/25 00:57
2F：→ ric2k1:case 來測! 12/25 00:57
3F：→ yan12125:我測sim09,C3540,C5315,C7552不一樣，其他都一樣，實在 12/25 01:12
4F：→ yan12125:令我大惑不解 12/25 01:12
5F：推 ric2k1:電路比較大的關係吧!? 12/25 01:34
6F：→ yan12125:跟大小沒關係吧XD 12/25 03:10
7F：推 ric2k1:我的意思是電路比較大比較可能有因為順序不同而造成的差異 12/25 22:31
8F：→ ric2k1:不過如果你的 strash 是按照 DFS list 的 order 來做 12/25 22:32
9F：→ ric2k1:應該會一樣吧? (但還是會有誰 merge 誰的選擇而造成 ID不同 12/25 22:33
10F：推 wmin0:依dfs後到的被先到的吃掉就會一樣噢 你要不要先cirp檢查 12/26 00:39
11F：→ wmin0:DFS? (欸你誰XD) 12/26 00:39
12F：推 wmin0:replaceInsert和forceInsert最大的差別是一個會先斬後奏(?) 12/26 00:46
13F：→ wmin0:另外一個理都不理你就直接上了(?) 12/26 00:46
14F：→ wmin0:赫然發現多嘴了(躲起來) 12/26 00:47
15F：→ yan12125:dfs一樣，啃code中... 12/26 01:44
16F：→ yan12125:原來老師是邊check邊加gate進hash，而我是全加進去再找 12/27 01:45