作者ckmarkoh (阿杰)
看板EE_DSnP
标题[心得] 产生const 0 电路的程式
时间Sun Jan 16 14:05:52 2011
由於老师给的testcase结果为const 0的circuit 不够多
而其它testcase的电路删完後还会剩下很多gate
而我们删的跟老师删的gate可能会不一样
以至於难以比对
所以要确定fraig是否正确 就只能用const 0的电路测
於是我就写了一个产生const 0 testcase的程式
将一个相同的电路copy两遍後接一个XOR
http://homepage.ntu.edu.tw/~b97901113/fraig_113
使用方法
输入指令:cirr <输入档档名> 读一个电路
再输入指令:circ -o <输出档档名> 输出产生的const 0电路
这样就完成了
要注意的是所读取的电路只可以有一个PI
如果想要产生更多层
可以写一个档案用do file
cirr X
circ -o Y
cirr Y -r
circ -o Y
cirr Y -r
circ -o Y
这样就可将原本的电路复制2^3倍 然後产生const 0电路
ps:可以打help查指令circ的用法
但请不要执行此程式的其它指令 也请不要把它当reference program用
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.4.193
※ 编辑: ckmarkoh 来自: 140.112.4.193 (01/16 14:09)
1F：→ ckmarkoh:如果此档案无法开启 请寄站内信 我可以给source code 01/16 15:33
2F：推 ric2k1:推! 新增了一个 sim12.aag, 有将近 10000 个 gates, 最後 01/16 17:16
3F：→ ric2k1:应该可以 simplify 成 0. (原先 sim12.aag 改名叫 sim13.aa 01/16 17:16
4F：→ ckmarkoh:有没有500~1000个gate左右的test case? 我的fraig实在是. 01/16 18:20
5F：→ ckmarkoh:慢到一种很夸张的地步.... 01/16 18:20
6F：推 ric2k1:OK... 新增一个 sim14.aag, 放在 ceiba 公布栏 01/16 18:31
7F：→ ric2k1:aag 927 41 0 1 886 01/16 18:31
8F：→ ckmarkoh:所以老师那边有aag产生器? 01/16 18:59
9F：推 BBSealion:其实刚开始还满想要50gate左右的case 肉眼能trace的极限 01/16 19:22
10F：推 ric2k1:这些是 benchmark circuits 啦! 不过我们是有 script 可以 01/16 19:42
11F：→ ric2k1:将一个 aag file 产生出一份 optimized 过的 circuit, 然後 01/16 19:42
12F：→ ric2k1:再将两者 merge (xor) 起来变成single output miter circui 01/16 19:43
13F：→ ckmarkoh:我的程式也可产生 但是有一点小bug 01/16 19:48
14F：→ ckmarkoh:但至少sim10.aag产生出来的是可以变const0 01/16 19:49
15F：推 BBSealion:你说的是只能有一个po吧？ 01/16 23:06
16F：→ ckmarkoh:只能有一个po的电路 我才有办法把它复制一遍 01/16 23:22
17F：→ ckmarkoh:再把这两个po都接到XOR 01/16 23:22