[閒聊] CUDD這東西

[civiltensai (阿呆 <(￣﹌￣)@m)]

        跟SOC老師上課講的一些BDD操作都一模一樣
        其實真的滿好用的說

        本來以為要自己寫的一些operation
        像是exist x in a bdd f這種東西
        也可以在CUDD的lib找到function直接用

        另外還有一個很神奇的
        假設order是x0 x1 y0 y1的variable
        如果f=x0*x1
        變成f=y0*y1
        這種variable替換的方便操作也都有

        太神奇了～傑克！

        所以現在進度
        TR, S0
        and given Si-1(X), Si(Y,X,I), Si(Y), Si(X) for all i>=1
        這些都可以做的出來了

        只要print out列出就OK了

        就剩下第二題的問題了～兩位partners
        加油～趕快想啊！

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.217.85
→ civiltensai:忘了..其實第二題隱含另一個麻煩0rz....sigh....
→ civiltensai:又試了一次，大一點的input bench還是有SF的錯誤發生
→ civiltensai:0rz...............................................
推 Woody0507:真不愧是會長!超~~~~~~~~~~~~強!!!
推 bask:你們知道bdd這論文被cite過幾次嗎，之前聽說是一千多次
→ bask:是被cite最多次的paper, 有興趣的可以去citeseer查