推 phloke:大感謝!! 01/19 04:14
推 SingForYou:帥啊 !!! 01/19 06:26
※ 引述《EnigmaEX (如影隨形~*)》之銘言：
: 我已經想了 8 小時, code 也都看過 n 遍了,
: 只能說我真的不會寫....
: 應該說我不知如何著手 @@
: 也不太曉得問題出在哪裡,
: 總覺得 Circuit, Gate 和 BddManager, BddNode 連不太起來
: 該從哪裡著手, 有人能給個提示嗎?
: 希望能趕 2/3 的分數 @@
: PS. BddNodeName 是什麼? 是用 gate name 來定義嗎?
1.首先你要把standize做好(9 Cases),cache建好並整合到ITE中
2.ITE中t,e的bubble要記得檢查(投影片有寫)
3.最後加上boolean operation function
(老師只有提供"&")
----------------------------------------------------------
以上基本的BDD計算器就完成了
4.每個Gate中都宣告一個BddNode (initial = BddNode(0))
5.將每個input Gate的BddNode都和support連結起來
6.從output開始,假設該Gate的Fan-in的BddNode沒起始
則起始他,如此反覆call到input,此時每個circuit Gate
都會有一個BddNode,最後把GateName加到BddMgr的Map
中(每個Circuit都會對應一個boolean function => BddNode)
這樣Circuit BDD就差不多了
我能幫的就只有那麼多了.......
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.240.36