: 听完课还是有点问题 所以又来PO版了 囧" No problem. : : 一 关於 Fraig Proof : : 我还是不了解有了 FEC pairs 之後要找多深去 proof 是不是 FEC : 要一个一个 fanin level 去试 : 还是只是从那个 gate 到 fanin 整串 ... 是的，从 FEC gates (f, g) 到 PIs 整个 cone of gates 都要转成 CNF， 然後再把 (f, g) 兜出一个 XOR 的 CNF 丢给 sat 去解。 : 如果是这样 : 那嵌在中间的 FEC 就算了? 所以说最好从靠 PI 端的 FEC 开始证， 否则中间的 FEC 就没有意义了。 : : : 二 还是 Fraig Proof : : 当 sat 的时候似乎要拿现在这个结果再去 simulate : 范围呢? 所有的 FEC pair or current FEC pair ... : current pair 都被证明 sat (i.e. different) 了， 所以应该是 simulate 整个电路吧 (all FEC pairs). : 应该要 collect 够多的 sat 才去 simulate 吧 : 否则似乎有点浪费? 是啊! 可以 collect 到足以凑成一个 parallel pattern. : : 三 关於 Fraig Merge : : 看 ref 的 output 似乎只 merge 最上面那个 Gate : 有需要 recursive 的向下处理 fanout 变成 float 的 Gate吗 可以不用，事後用 cirsweep 去扫掉就好了。 : : : 四 关於 CirPrint -FEC : : ref 似乎只有对 FEC pair 里面 sort : 整个 FEC pair list 也要不要 sort ? : 纯粹是 diff 上的需求... 这要每个 group 里头的 ID 按照顺序排就好了。 (see commnad "CIRPrint") : : : 五 关於 CirGate : : simulate value : 先塞的会出现在最右边 : 人从左边读过去感觉怪怪的 囧" : 呃 这不重要 ... 因为右边是 LSB... : : : 六 心得 ... : : 合理怀疑老师前面在 parse gate 的时候就偷用了 hash ... : 昨天发现 sim13.aag 喂不下去 : 在找有没有 redefine error 的时候卡住 ... : 改成 hash 版本快超多 ... 我没有哦! 有很多方法可以快速地找到 parsing 的资讯， 像是用空间换去时间，array/index 等等. 其实像 aag 这种简单 format 的 parsing 通常都不会想到要用 hash. : : HW6 明明没 hash 这玩意儿啊啊 QQ : : -- : : 後面部分不要理我 囧" : : 先感谢前面回答 Orz : : -- :

※ 发信站: 批踢踢实业坊(ptt.cc) : ◆ From: 140.112.249.64 : ※ 编辑: wmin0 来自: 140.112.249.64 (12/29 17:08) : → djshen:redefine看totGateList[gateId]有没有东西就可以吧? 12/29 17:54 没错。 : → djshen:三 我觉得应该是留给sweep做? 12/29 17:55 Yes. : → wmin0:没用hash的话全搜是n^2 到5 6万的时候就差很多... 12/29 18:07 : → djshen:应该是读的时候就在totGateList里面找 random access算快吧 12/29 18:09 : → wmin0:噢噢 原来一楼说的是map啊@@ 因为我只用vector存而已囧" 12/29 18:09 : → djshen:是array没错啊@@ 12/29 18:10 : → djshen:如果gateId对应到array里面的位置就可以直接拿 12/29 18:11 : → djshen:如果没有redefine就new一个gate在那个位置 我是这样啦@@ 12/29 18:12 : → wmin0:恩恩 不过我当时没想到这样做@@" 呆呆地报搜 12/29 18:13 : → wmin0:用 hash 的话记忆体也不用喷这麽多掉XD 12/29 18:13 : → djshen:如果hash的value是gateID那就跟array一样了@@ 12/29 18:16 没错。 不过 vector potentially 是会比 hash 吃多一点记忆体， 尤其是当你有需多 "空号" AIG gates 的时候。 但我觉得除非很夸张 (像是 M = 1,000,000, A = 1,000)， 否则我觉得用 vector 就好了。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 114.36.58.251