作者ric2k1 (Ric)
看板EE_DSnP
標題[公告] HW6 修正與更新
時間Wed Dec 14 00:45:59 2011
1. Spec document 更新
對於 CIRWrite command 之說明 (紅字部份)。
========================================
The header line, PI and PO definitions in the output file should be
exactly the same as the original file. The AIG section, however,
contains only the AIG gates in the DFS list of the circuit and should
be printed in that order. That is, the gates that cannot be reached
from POs will not be included in the output file. Comment section is
optional. You can leave it blank or write whatever you want.
========================================
[下載] ceiba 作業區 (hw6.tgz) 或 公告區 (homework_6.pdf)
2. Bug fixes in "CIRWrite"
[Bug] The 'M' in header line was the total number of variables
The 'A' in header line was the total reachable AIG gates.
A crash in writing symbols for POs.
[Fix] Should be the 'M' and 'A' in the original file.
That is, the header line should look exactly the same as the original
file.
PO symbol writing is fixed.
[下載] ceiba 作業區 (hw6.tgz) 或 公告區 (cirTest-{64,32})
3. Enhance the parsing for "comments"
The comment must start with a line with a single character 'c'.
A newline must follow. If there is any character trailing 'c',
print out an error message like
"[ERROR] Line 13, Col 2: A new line is expected here!!"
[下載] ceiba 作業區 (hw6.tgz) 或 公告區 (cirTest-{64,32})
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.36.58.186
※ 編輯: ric2k1 來自: 114.36.58.186 (12/14 00:47)
1F:推 e124553423:不能從POtrace到的PI也要印出來!? 12/14 00:53
2F:→ ric2k1:所有的 PI 與 PO 都要印,跟原始檔案一樣順序。 12/14 00:58
3F:→ e124553423:了解,不過這樣有點搞不懂AIG只印reach的到的用意-.- 12/14 01:02
4F:→ ric2k1:由於大家存 AIG gates 的方法不盡相同,所以避免大家印出來 12/14 01:31
5F:→ ric2k1:的順序不同,所以就印 DFS 的 gates 就好了,比較好比對。 12/14 01:31
6F:→ e124553423:但是如果PI,PO和原始檔一樣,AIG也應該能做到吧 12/14 08:03
7F:→ ric2k1:當然可以做到,但以實用的角度來看把 AIG 按照原來的順序 12/14 13:17
8F:→ ric2k1:其實沒什麼用,但相對的,PI/PO 應該還是都要予以保留 12/14 13:17
9F:→ e124553423:我比較困惑的是為什麼PI和AIG標準不同 12/14 13:26
10F:→ ric2k1:PI/PO 是一個 design 的 spec, 通常不會被隨便修改 12/14 13:37
11F:→ ric2k1:至於內部的 AIG 則可以有不同的 implementation, 甚至可能 12/14 13:38
12F:→ ric2k1:是未完成的 implementation (所以才有 floating, unused PI 12/14 13:38
13F:推 ha531102:一個小小的地方: 假如header裡aag後面接著的是tab 12/15 12:11
14F:→ ha531102:那ref會印出"Illegal identifier "aag"!!" 感覺這裡應該 12/15 12:13
15F:→ ha531102:要抓char(9) is detected比較合理~ 12/15 12:14
16F:→ djshen:或是要 missing space? 12/15 13:02
17F:→ ric2k1:嗯,我改一下! 12/15 14:34
18F:→ e124553423:ref cirg的line跟數字間中間沒有空白鍵,但是pdf有 12/17 12:50
19F:→ e124553423:要空白嗎? 12/17 12:50
20F:推 j0214ack:如果在ref檔裏面故意丟一個symbol l0會abort 12/17 20:15
21F:→ j0214ack:assert type == 'o' failed 12/17 20:15
22F:→ ric2k1:To 樓上: type 'l' (Latch) 不 support,可以假設沒有這東西 12/18 02:59