作者yan12125 (姥姥)
看板EE_DSnP
標題[問題] cirmiter的用法?
時間Tue Jan 15 01:51:39 2013
我的用法是這樣:(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兩個電路來源要不一樣?
--
蒼松峭壁立 白雲絕巖生
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.195
1F：推 ric2k1:"都是cirsw+ciropt+cirsw+cirstr+cirsw就把所有的AIG都清掉 01/15 02:02
2F：→ ric2k1:所以跟 cirmiter 的關係是? 01/15 02:03
3F：→ yan12125:沒有AIG就不用測sim+fraig了，可是一般會先做完trivial 01/15 02:14
4F：→ yan12125:optimization再fraig吧? 01/15 02:15
5F：→ yan12125:應該說我生不出trivial optimization後還有AIG，而fraig 01/15 02:16
6F：→ yan12125:完所有AIG都被清掉的電路 01/15 02:17
7F：推 yuting1105:maybe what you want is sim14.aag? 01/15 02:44
8F：→ yuting1105:and sim12.aag? 01/15 02:45
9F：推 ric2k1:你可以用 sim**.aag 去 optimize (sweep+opt+sim+fraig)*2 01/15 03:04
10F：→ ric2k1:存成 sim**_opt.aag 之後再把兩者用 cirmiter 接起來 01/15 03:05
11F：→ ric2k1:然後你應該就可以產生一個 outputs = 0s 的電路了 01/15 03:06
12F：推 ric2k1:你是在問這個嗎? 01/15 03:06