作者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