作者ric2k1 (Ric)
看板EE_DSnP
标题[情报] AIG format 中的 M >= I + L + A
时间Mon Dec 19 01:05:34 2011
请注意一下在 AIG format 中：
M (max #vars) >= I(#PIs) + L(#Latches) + A(#AIGs)
为何会大於呢?
比方说：
aag 5 2 0 1 1 // header
2 // PI #0 (var ID = 1)
8 // PI #1 (var ID = 4)
6 // output
6 2 8 // AND gate (var ID = 3) := PI#0 & PI#1
其中 5 > 2 + 0 + 1
也就是说，possible variable IDs 可为 1 ~ 5 (Note: 0 号 always := const 0)
而 PIs 不一定都是从 var ID 1, 2,... 开始，
比方说上面的 PI #1 的 var ID 就 = 4.
另外就是可以有一些 var ID 没有被用到，
像是上面那个例子的 var ID 2 跟 5.
(Remember: M 的意思是 "max number of vars")
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 1.160.26.194
1F：推 victoret:那...那个 CIRPrint -Summary 的 total...在 comment 里 12/19 01:10
2F：→ victoret:面比 PO + PI + AIG 的总数要大...感觉好像是要 M... 12/19 01:11
3F：→ victoret:可是实际拿 ref 测又好像不是 @@ 12/19 01:11
4F：推 storym94374:实际拿ref去测，发现下面的total并不是M的值耶？ 12/19 01:15
5F：推 victoret:好像是 PI + PO + AIG 的总数... 12/19 01:16
6F：→ ric2k1:-summary 中 AIG 的数量就是 header line 中宣告的 A, 12/19 01:19
7F：→ ric2k1:不用管是否有些 gates 不在 DFS list 里头。 12/19 01:20
8F：→ ric2k1:to 4F: M 里头部包含 #POs, 因为 PO 在 宣告时的 ID 是 12/19 01:21
9F：→ ric2k1:reuse AIG gate 的 ID (possibly inversed). 不过，在 12/19 01:22
10F：→ ric2k1:实际的 PO gate 里头应该要 assign 给他一个 unique 的 ID 12/19 01:23
11F：→ ric2k1:(从 M+1 开始)，这样 report gate 才可以区别得出来 PO 12/19 01:24
12F：→ ric2k1:以及他的 fanin 的不同。 12/19 01:24
13F：→ ric2k1:可参考 3417 篇。 12/19 01:25
14F：→ ric2k1:是的，其实就是 header line 里头的 I + O + A 12/19 01:36
15F：推 victoret:感谢教授！！！ 12/19 01:43
16F：→ ric2k1:不好意思，刚刚才发现 comment 没有更新... 12/19 01:44