[問題] Strash結果不一樣 yan12125 PTT批踢踢實業坊

[問題] Strash結果不一樣

作者: yan12125 (姥姥) 2012-12-25 00:47:05

可能是實作的方法不同，我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 來測!

作者: yan12125 (姥姥) 2012-02-25 01:12:00

我測sim09,C3540,C5315,C7552不一樣，其他都一樣，實在令我大惑不解

作者: ric2k1 (Ric) 2012-02-25 01:34:00

電路比較大的關係吧!?

作者: yan12125 (姥姥) 2012-02-25 03:10:00

跟大小沒關係吧XD

作者: 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最大的差別是一個會先斬後奏(?)另外一個理都不理你就直接上了(?)赫然發現多嘴了(躲起來)

作者: yan12125 (姥姥) 2012-02-26 01:44:00

dfs一樣，啃code中...原來老師是邊check邊加gate進hash，而我是全加進去再找

繼續閱讀

[問題] 重複cirsimypf791 [情報] HW#4 gradesric2k1 [問題] optimization更新DFSlist 頻率stanleysu Re: [情報] 產生 aag file 的圖檔yan12125 [請益] 幫別人代 PO 徵程式家教ric2k1 [心得] 所謂的 known problemypf791 [重要] HW6 繳交情況Usoul Re: [情報] Final Project ref coderic2k1 [問題] new之後馬上delete(已解決)boiq [問題] err40.aag(已解決)boiq