作者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