作者ric2k1 (Ric)
看板EE_DSnP
標題Re: [情報] 關於 cirw 之懶人包
時間Sat Dec 17 23:05:00 2011
先前對於 header line 的定義沒有想清楚，感謝各位同學的指正，
寫出來的 aag file 讀不進去的確是令人無法接受。
所以 header line 的 spec 修改如下。
Word/PDF document 以及 ref program 我會盡快修改... (現在暫時沒空)
// 其實去年 cirw 是 final project 的 bonus feature, 所以沒有好好定義。
※ 引述《ric2k1 (Ric)》之銘言：
1. Hearder line 裏頭
M(Max #vars), I(#PIs), L(#Latches), O(#POs) 要與原始檔案一樣,
A(#AIGs) 要與 DFS list 裏頭的 AIG gates 的數目相同。
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 以 PI/PO 的順序印，不一定要跟原始檔一樣。
// 但為了確保有些同學已經做成跟原始檔一樣不會被改錯，
// 我們的測試檔的 symbol 順序會跟 PI/PO 順序一樣。
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
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 1.160.26.194
9F：推 j0214ack:bonus feature!!=口= 難怪寫起來這麼長orz 12/17 23:12
10F：→ j0214ack:咦 我推錯了== 12/17 23:12
11F：→ ric2k1:我上面的句子好像怪怪的... 不過大家看得懂就好 12/17 23:16
12F：推 vuluy:如果M=L+I+A會不會有ID比M大的情況?M還是跟原來一樣好吧 12/17 23:18
13F：→ vuluy:或者跟最大ID一樣 12/17 23:19
14F：→ ric2k1:啊... 又耍笨了... (再改一下) 12/17 23:20
※ 編輯: ric2k1 來自: 1.160.26.194 (12/17 23:21)
Symbol section 的定義改一下，讓大家比較好寫。
※ 編輯: ric2k1 來自: 140.112.21.240 (12/21 10:35)
※ 編輯: ric2k1 來自: 114.36.57.25 (12/21 22:09)