作者wmin0 (小新)
看板EE_DSnP
标题Re: [问题] FEC 一问
时间Thu Dec 29 17:06:45 2011
听完课还是有点问题 所以又来PO版了 囧"
一 关於 Fraig Proof
我还是不了解有了 FEC pairs 之後要找多深去 proof 是不是 FEC
要一个一个 fanin level 去试
还是只是从那个 gate 到 fanin 整串 ...
如果是这样
那嵌在中间的 FEC 就算了?
二 还是 Fraig Proof
当 sat 的时候似乎要拿现在这个结果再去 simulate
范围呢? 所有的 FEC pair or current FEC pair ...
应该要 collect 够多的 sat 才去 simulate 吧
否则似乎有点浪费?
三 关於 Fraig Merge
看 ref 的 output 似乎只 merge 最上面那个 Gate
有需要 recursive 的向下处理 fanout 变成 float 的 Gate吗
四 关於 CirPrint -FEC
ref 似乎只有对 FEC pair 里面 sort
整个 FEC pair list 也要不要 sort ?
纯粹是 diff 上的需求...
五 关於 CirGate
simulate value
先塞的会出现在最右边
人从左边读过去感觉怪怪的 囧"
呃 这不重要 ...
六 心得 ...
合理怀疑老师前面在 parse gate 的时候就偷用了 hash ...
昨天发现 sim13.aag 喂不下去
在找有没有 redefine error 的时候卡住 ...
改成 hash 版本快超多 ...
HW6 明明没 hash 这玩意儿啊啊 QQ
--
後面部分不要理我 囧"
先感谢前面回答 Orz
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.249.64
※ 编辑: wmin0 来自: 140.112.249.64 (12/29 17:08)
1F：→ djshen:redefine看totGateList[gateId]有没有东西就可以吧? 12/29 17:54
2F：→ djshen:三 我觉得应该是留给sweep做? 12/29 17:55
3F：→ wmin0:没用hash的话全搜是n^2 到5 6万的时候就差很多... 12/29 18:07
4F：→ djshen:应该是读的时候就在totGateList里面找 random access算快吧 12/29 18:09
5F：→ wmin0:噢噢 原来一楼说的是map啊@@ 因为我只用vector存而已囧" 12/29 18:09
6F：→ djshen:是array没错啊@@ 12/29 18:10
7F：→ djshen:如果gateId对应到array里面的位置就可以直接拿 12/29 18:11
8F：→ djshen:如果没有redefine就new一个gate在那个位置 我是这样啦@@ 12/29 18:12
9F：→ wmin0:恩恩 不过我当时没想到这样做@@" 呆呆地报搜 12/29 18:13
10F：→ wmin0:用 hash 的话记忆体也不用喷这麽多掉XD 12/29 18:13
11F：→ djshen:如果hash的value是gateID那就跟array一样了@@ 12/29 18:16