[問題] 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