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