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