作者storym94374 (玛利欧)
看板EE_DSnP
标题[问题] sweep时需要调整fanin fanout吗
时间Sun Dec 25 23:05:01 2011
刚刚我测试了一下ref，发现sweep会扫掉DFS找不到的AIG还有UNDEF
如果是扫掉AIG，那麽AIG的fanin的fanout也会被消掉，这个比较没有问题
不过如果扫掉UNDEF，那麽原本其fanout的fanin似乎不会被删去
从那个地方来cirg -fanin的话就会记忆体区段错误，所以或许应该删掉？
但是只有一个input的AIG又该怎麽运作呢？
还有，如果某个电路里面有UNDEF，只要先sweep过一次
那麽下次用-replace来读取其他电路时，也会发生记忆体区段错误
请问这是一个BUG呢？还是说我们不需要考虑出现UNDEF的情形？
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.25.107
※ 编辑: storym94374 来自: 140.112.25.107 (12/25 23:06)
1F：推 ric2k1:哈哈，这是个 bug, 你说的情形都不应该发生，我再来改一下 12/25 23:13
2F：→ storym94374:对了 教授的cirw在sweep之後可能也会出现记忆体错误 12/26 01:36
3F：→ storym94374:而且在cirw中 PI PO的symbol从一开始就抓错了@@ 12/26 01:37
4F：→ storym94374:不论有没有UNDEF，PO的symbol都跟PI重复 12/26 01:38
5F：→ storym94374:不对...不论有无sweep过 cirw就可能会记忆体区段错误 12/26 01:40
6F：推 ric2k1:Uh... 这个是 hw6 之前的 bug... 忘记修到新版的 fraig 去 12/26 01:45
7F：→ ric2k1:又要修正一下了... 12/26 01:45
8F：推 ric2k1:已更新，请再下载一次，如果还有问题请跟我说。谢谢!! 12/26 02:21
9F：→ storym94374:我刚刚去下载了新版作业 发现ref还是无法处理UNDEF 12/26 15:08
10F：→ storym94374:sweep仍然会删掉UNDEF 并且从後面-fani会出错 12/26 15:08
11F：→ storym94374:但是有UNDEF再用-replace时已经不会当掉了 12/26 15:09
大概整理一下我的测试过程
我把原本的half adder拿来改一下，把其中的某个gate的fanin换成undef
aag 7 2 0 2 3
2
4
6
12
6 13 8
12 2 4
14 3 5
i0 x
i1 y
o0 s
o1 c
读进去以後，执行cirsweep就会删除4(undef)与7(aig)
这时候执行cirg 8 -fani 3 就会在原本该出现UNDEF 4的地方出错了
所以请问UNDEF到底该不该删掉呢@@
※ 编辑: storym94374 来自: 140.112.25.107 (12/26 15:21)
推 ric2k1:QQ, 推文被删掉了... UNDEF 4 不应该被删掉，ref prog 忘记 12/27 23:23
12F：推 victoret:谢谢教授！！！ 12/27 23:53
13F：推 ric2k1:(刚刚没写完，觉得P1还是怪怪的...) Anyway, 我已经修好了 12/28 00:24
14F：→ ric2k1:会找时间上传。感谢指正!! 12/28 00:25