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