作者a3785lexx (Alex)
看板EE_DSnP
標題[請益] 一個關於BDDSETVar的超級小問題...
時間Thu Jan 7 22:09:32 2010
如題...看著網頁上的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 ←----成功了
然後我就想要看看還能不能build bdd
bdd>cirsetv -f
＝＞Error:adding BDD node for 1GAT fails...
因為"0"號就是PI之一，BSETVar據說會拒絕操作
可是不死心再打一次...就可以了o.O
bdd>cirbdd ←-----這個也給作了
所以到底cirsetv的那個error是有沒有實際效力的呢？？
(到底第一個cirsetv有沒有成功呢？？)
還有，BSETVar提供我們可以直接assign gateID to level
這個功能是要怎麼用...？讓我們自由決定PI對應level的order嗎XD？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.37.106.169
1F：推 herbert570:應該是...不過沒有提防除了pi外的gate被associate感覺 01/07 22:16
2F：→ herbert570:有點危險... 01/07 22:17
3F：推 slinh:BSETVar感覺上是為了手動玩,建立bdd測試用的...? 01/07 22:27
4F：推 ric2k1:我可能要檢視一下 bsetv <level> <gateId> 的必要性 01/07 23:19
5F：推 ric2k1:bsetv 主要是給 BDD calculator 用的... 01/07 23:20