[问题] cirmiter的用法? yan12125 PTT批踢踢实业坊

[问题] cirmiter的用法?

楼主: yan12125 (姥姥) 2013-01-15 01:51:39

我的用法是这样:(generated.aag是一个乱数产生的电路)
cirr generated.aag
cirsw
ciropt
cirsw
cirstr
cirsw
cirw -o generated1.aag
cirmiter generated1.aag generated.aag
cirw -o generated2.aag
q -f
不过我试了三次，都是cirsw+ciropt+cirsw+cirstr+cirsw就把所有的AIG都清掉了，我只
好不opt+str，直接sim+fraig
这样写有错吗?还是miter两个电路来源要不一样?

作者: ric2k1 (Ric) 2013-01-15 02:02:00

"都是cirsw+ciropt+cirsw+cirstr+cirsw就把所有的AIG都清掉所以跟 cirmiter 的关系是?

楼主: yan12125 (姥姥) 2013-01-15 02:14:00

没有AIG就不用测sim+fraig了，可是一般会先做完trivialoptimization再fraig吧?应该说我生不出trivial optimization后还有AIG，而fraig完所有AIG都被清掉的电路

作者: yuting1105 (yuting) 2013-01-15 02:44:00

maybe what you want is sim14.aag?and sim12.aag?

作者: ric2k1 (Ric) 2013-01-15 03:04:00

你可以用 sim**.aag 去 optimize (sweep+opt+sim+fraig)*2存成 sim**_opt.aag 之后再把两者用 cirmiter 接起来然后你应该就可以产生一个 outputs = 0s 的电路了你是在问这个吗?

继续阅读

[闲聊] compiler累了wyc2010 [问题] Solver::propagate(): Assertionstanleysu [问题] Selfcheck不会过david942j [讨论] strash的神秘现象??shps90060505 Re: [情报] SAT 之使用XDucka [问题] SatSolver Aborted() 已解决david942j [问题]segmentation fault在SatSolver内发生(已解决)taldehyde Re: [公告] Final Project Updatesric2k1 Re: [问题] Ref的小问题ric2k1 [问题] Ref的小问题mikechen25