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