作者civiltensai (阿呆 <( ̄﹌ ̄)@m)
看板NTUEE_VAL
標題[閒聊] CUDD這東西
時間Thu Jun 15 03:24:51 2006
跟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
1F:→ civiltensai:忘了..其實第二題隱含另一個麻煩0rz....sigh.... 06/15 03:25
2F:→ civiltensai:又試了一次,大一點的input bench還是有SF的錯誤發生 06/15 03:27
3F:→ civiltensai:0rz............................................... 06/15 03:27
4F:推 Woody0507:真不愧是會長!超~~~~~~~~~~~~強!!! 06/15 19:54
5F:推 bask:你們知道bdd這論文被cite過幾次嗎,之前聽說是一千多次 06/17 01:17
6F:→ bask:是被cite最多次的paper, 有興趣的可以去citeseer查 06/17 01:18