作者ric2k1 (Ric)
看板EE_DSnP
標題[情報] 關於 cirw 之懶人包
時間Fri Dec 16 22:16:19 2011
1. Hearder line 要與原始檔案一樣。
2. PI & PO 印出來的順序要與原始檔案一樣，
即使沒有 fanout/fanin 的 PI/PO 也要印。
// 因為電路中 PI/PO 的順序通常是有意義的
3. AIG 印出來的順序請按照 DFS 的順序 (i.e. cirp -n 裏頭 AIG 的相對順序)，
而每個 AIG 的 fanin 順序請跟原始檔案一樣。
走不到 PO 的 AIG gates 請不要印 (應該也不會再 DFS list 裏頭)。
// 為了確保我們可以比較簡單的 diff 寫出來的檔案
4. Symbol sections 要與原始檔案一樣。
5. Comment 部分就隨便了，要不要存/印都沒有關係。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 1.160.26.194
1F：推 victoret:推！！！感謝教授！！！ 12/16 22:21
2F：推 alextan:推推 12/16 23:23
3F：推 wmin0:如果header line一樣 而dfs找不到的aig不印 會出問題吧? 12/17 02:49
4F：推 e124553423:推樓上突破盲點! 12/17 09:38
5F：→ ric2k1:M 可以 > (I + L + A) 哦! (Note L = 0 in out HW) 12/17 13:28
6F：推 vuluy:其實盲點是在A不等於實際印出來AIG的數目 12/17 13:32
7F：→ djshen:所以輸出的檔案不能read也沒關係嗎? 12/17 21:22
8F：→ e124553423:等老師解答吧 12/17 21:34
9F：推 poorsunshine:ref的symbol section 好像會不一樣 12/25 02:53