[問題] 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