作者danielbas (草酸)
看板EE_DSnP
標題[問題] ref code讀取測資時會有error
時間Mon Jun 2 16:07:26 2008
執行reference code時
用下面這個測資
http://fmv.jku.at/aiger/tip-aig-20061215.zip
隨意選了一個來測，在測試cmu.dme1.B.aig會出現讀取錯誤：
cir> cirr cmu.dme1.B.aig
cirTest: cirInterface.cpp:207: int aiger_write_to_cir(aiger*): Assertion
`aiger_get_num_latch(aigMgr) == 0' failed.
已經終止
是說我們這次只要能讀取 .aag的檔案，可以不用測.aig的嗎？感謝~
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.235
1F：推 bnsblue:不行 應該要兩種都可以 06/02 16:34
2F：→ bnsblue:1300 .aig 就是 binary format 06/02 16:35
3F：推 bnsblue:你的錯誤應該是這個測資裡面有register~你可以去測另外 06/02 16:44
4F：→ bnsblue:一個壓縮檔裡面的~那幾乎都沒有register 06/02 16:44