推 ric2k1:一言難盡 有興趣可以跟 CUDD 比看看 01/02 22:05
→ ric2k1:我的意思"可以變快" worst case 仍然是 exponential 啊... 01/02 22:19
老師上課有提過,如果Cache和standize正確,建構Bdd的
速度將會很快,但是到底是快到什麼程度??
我回去跑了C432.cir,發現還是真的有夠慢(似乎不是幾分
鐘就出來的...),如果實際上的速度很快表示我的standize
寫的不正確...,但是如果不知道正確case的情形,就有點不知
到自己寫的事對是錯(因為就算cache沒作用也可照跑,只是速度
變慢...)==>不知道有沒有什麼比較有效率的驗證方法,那個
C17.cir根本轉眼就跑完了ㄚ...
我已經把cache size加到五位數以上了~~~~...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.240.36