[請益] 一個關於BDDSETVar的超級小問題...

[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    ←----成功了

        然後我就想要看看還能不能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
推 herbert570:應該是...不過沒有提防除了pi外的gate被associate感覺
→ herbert570:有點危險...
推 slinh:BSETVar感覺上是為了手動玩,建立bdd測試用的...?
推 ric2k1:我可能要檢視一下 bsetv <level> <gateId> 的必要性
推 ric2k1:bsetv 主要是給 BDD calculator 用的...