作者yclanner (美良)
看板EE_DSnP
標題Re: [請益] 一個關於BDDSETVar的超級小問題...
時間Sat Jan 16 14:22:21 2010
我也想問個這個指令的問題
怕用推的會沒人看到就用回的...
※ 引述《a3785lexx (Alex)》之銘言：
: 如題...看著網頁上的specify看著看著越來越疑惑...
: 自己對ref program試了一下之後也還是很疑惑@@"
: 所以還是直接上來請教強者的見解好像比較好
: BSETVar裡面說:
: associates <BddName> to <level>
: 然後，BddName = gateID | valid string
: 所以，我們可以把circuit裡面的gate隨意連接到level上
: 經過對ref的測試後似乎也真的是這麼回事...
: bdd>cirr ./testcases/C17.cir
: bdd>bsetv 1 0 ←----成功了
bdd>bsetv 1 0
這個動作在沒有讀進任何電路的狀態下也可以做啊...
所以這個動作應該是
讓 "0" 這個string對應到bddNode _supports[1]而已
和讀進來的電路的gateID應該沒有關係吧....?
這樣理解對嗎?
好疑惑...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.250.191
1F：推 ric2k1:但是 band a 0 b 是 legal 的, 那這個 0 是指 string 0 01/16 15:18
2F：→ ric2k1:還是 ID = 0 的 BddNode 呢? 所以 bsetv 1 0 應該要判斷 01/16 15:21
3F：→ ric2k1:0 是否為 varName (i.e. isVarName()), 如果是的話, 就存到 01/16 15:22
4F：→ ric2k1:_bddMap; 否則就檢查 0 是否為 legal int (ie.myStr2Int()) 01/16 15:23
5F：→ ric2k1:如果是的話, 就加到 _bddArr 裏頭. 01/16 15:24
6F：推 ric2k1:In the latter case, 的確會跟 ID = 0 的 gate 造成 01/16 15:24
7F：→ ric2k1:confusion, so the user should use with care. 01/16 15:24
8F：→ yclanner:喔 我想的太簡單了... 謝謝老師回答! 01/16 15:55