※ 引述《timmylin (再也不寫程式了...)》之銘言：
:
: 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就差不多了
: 我能幫的就只有那麼多了.......
又經過了數小時的思索, 我好像終於懂了,
我先寫寫看是不是真的懂了, 再來 PO 個心得吧 ^^
實在是太感激了 QQ
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.245.223