Re: [問題] FEC 一問

[wmin0 (小新)]

聽完課還是有點問題 所以又來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)
→ djshen:redefine看totGateList[gateId]有沒有東西就可以吧?
→ djshen:三 我覺得應該是留給sweep做?
→ wmin0:沒用hash的話全搜是n^2 到5 6萬的時候就差很多...
→ djshen:應該是讀的時候就在totGateList裡面找 random access算快吧
→ wmin0:噢噢 原來一樓說的是map啊@@ 因為我只用vector存而已囧"
→ djshen:是array沒錯啊@@
→ djshen:如果gateId對應到array裡面的位置就可以直接拿
→ djshen:如果沒有redefine就new一個gate在那個位置 我是這樣啦@@
→ wmin0:恩恩 不過我當時沒想到這樣做@@" 呆呆地報搜
→ wmin0:用 hash 的話記憶體也不用噴這麼多掉XD
→ djshen:如果hash的value是gateID那就跟array一樣了@@