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