作者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