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