作者pg30123 (CKu.none | PG)
看板EE_DSnP
标题Re: 一些关於 reference program 的问题
时间Fri Jan 19 20:35:27 2007
类似的问题 就是reference program在读入circuit之後
若执行bsetv -PI -F时发生
Error: support size is smaller than the circuit input size!!
那_bddVarOrder还是会改到的样子，之後再执行bsetv -PI -F时就变成
Error: circuit BDD variable order has been set!!
另外想问一下 在哪里可以看到是不是已经读入circuit了啊
还是要自己检查TOTAL_GATE的数量?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 220.135.4.76
1F：推 timrau:if(cirMgr != 0) then circuit was read. 01/19 22:24
2F：推 pg30123:thx 01/19 22:35
3F：推 ric2k1:建议使用 Circuit class 中有关 _bddVarOrder 的 functions 01/20 00:28