推 ric2k1:是存到 virtual hard drive 吧? 01/15 18:39
話說才剛把buildBdd()s給寫完
就想到可以跑跑dofile看到底有沒有錯
最直覺的一個辦法是
把電路讀進來，作BDD，brep PO，跟ref program比較
沒想到...
我只是作這些步驟，只作了C17、C17_r、C432、C432_r
ref program的output就有...
639.8MByte 12M lines......
雖然我後來還硬著頭皮拿dofile去跑了自己的程式
不過跑到一半Linux就生氣把它砍了...
(不是我作的...我只是離開電腦晃來晃去而已...)
所以只收到601K大概一萬行的資料orz
還好這601K的資料vimdiff後沒有任何誤差
linux和vim還真的蠻強的
我的VirualBox明明只給384M的記憶體...它還是可以跑出這個檔案
佩服佩服
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.37.100.183