作者bassoon1231 (bassoon)
看板EE_DSnP
標題[問題] cirbdd
時間Mon Jan 18 21:52:59 2010
如果說比較大的CIR像是C499.cir等等的bdd建不出來（C17.cir小的都沒有問題），
老師說可能是standardize沒有寫好，嗯我想請問說除了照講義上的三個rules寫，還有其
他要注意的嗎？（或是問甚麼是好的standardize()），還是說key function 沒寫好很
嚴重。
因為我的hash cache應該沒有問題，我分別在hash check()、cache read()的
return true裡cout<<"!!"、cout<<"??""，然後跑得時候都有被印出來，代表計算過的
ite真的也有被重複利用了，所以...不知道為何大的電路圖會建不出來。
謝謝同學分享！
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.32.137.80
1F：推 ric2k1:或者是 cache size 太小了? 01/18 22:16
2F：推 yclanner:嗯... 我記得我測某一個的時候等了十分鐘才建好... 01/18 23:05
3F：→ yclanner:我等五分鐘的時候差點覺得沒建出來想把它關掉XD... 01/18 23:06
4F：→ yclanner:(不過usage只顯示兩分多鐘...超怪的...) 01/18 23:07
5F：推 ric2k1:cpu time and physical time are different... 01/18 23:09
6F：推 yclanner:所以usage顯示的是cpu time囉? 01/18 23:12
7F：推 ric2k1:Yes. That's the cpu usage your program takes. 01/18 23:15
8F：→ bassoon1231:嗯..放很久很久很久以後我的也有一些跑得出來了：） 01/19 00:18
9F：推 yclanner:XDDD 01/19 09:11