[问题] about PA#2 hschiang PTT批踢踢实业坊

[问题] about PA#2

楼主: hschiang (hschiang) 2013-04-14 22:52:45

问2个很笨的问题
1.
PA2一开始应该是要从电路建BDD吧
那要怎么得到电路呢
buildBdd里面好像是先对想要建的线做DFS
之后就是TODO了
还是搞不太懂要怎么样把电路弄出来
2.
在使用ref的程式的时候
建BDD前一定要先压成aig
可是这样brep怎么知道要call哪个bddName
有方法可以直接看output某个bit的Bdd吗

继续阅读

[公告] SoCV Final Term Gradesric2k1 [公告] TA Hour on Thursdaychengyin [情报] Final Exam grade is now available!!ric2k1 [情报] PA#3 grades is onlineric2k1 Re: [问题] 手写作业chengyin [问题] 手写作业s84252 [情报] Lecture notes #5 & #6ric2k1 [情报] HW/PA gradesric2k1 Just a Kind Remind to PA3chengyin [问题] SAT炸裂问题dream1203