可能是实作的方法不同,我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... |
作者:
ric2k1 (Ric)
2012-02-25 00:57:00两种都可以,我们在测的时候会挑一些不会有 ambiguity 的case 来测!
我测sim09,C3540,C5315,C7552不一样,其他都一样,实在令我大惑不解
作者:
ric2k1 (Ric)
2012-02-25 01:34:00电路比较大的关系吧!?
作者:
ric2k1 (Ric)
2012-02-25 22:31:00我的意思是电路比较大比较可能有因为顺序不同而造成的差异不过如果你的 strash 是按照 DFS list 的 order 来做应该会一样吧? (但还是会有谁 merge 谁的选择而造成 ID不同
作者: wmin0 (小新) 2012-02-26 00:39:00
依dfs后到的被先到的吃掉就会一样噢 你要不要先cirp检查DFS? (欸你谁XD)replaceInsert和forceInsert最大的差别是一个会先斩后奏(?)另外一个理都不理你就直接上了(?)赫然发现多嘴了(躲起来)
dfs一样,啃code中...原来老师是边check边加gate进hash,而我是全加进去再找