[心得] 產生const 0 電路的程式

[ckmarkoh (阿傑)]

由於老師給的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)
→ ckmarkoh:如果此檔案無法開啟 請寄站內信 我可以給source code
推 ric2k1:推! 新增了一個 sim12.aag, 有將近 10000 個 gates, 最後
→ ric2k1:應該可以 simplify 成 0. (原先 sim12.aag 改名叫 sim13.aa
→ ckmarkoh:有沒有500~1000個gate左右的test case? 我的fraig實在是.
→ ckmarkoh:慢到一種很誇張的地步....
推 ric2k1:OK... 新增一個 sim14.aag, 放在 ceiba 公佈欄
→ ric2k1:aag 927 41 0 1 886
→ ckmarkoh:所以老師那邊有aag產生器?
推 BBSealion:其實剛開始還滿想要50gate左右的case 肉眼能trace的極限
推 ric2k1:這些是 benchmark circuits 啦! 不過我們是有 script 可以
→ ric2k1:將一個 aag file 產生出一份 optimized 過的 circuit, 然後
→ ric2k1:再將兩者 merge (xor) 起來變成single output miter circui
→ ckmarkoh:我的程式也可產生 但是有一點小bug
→ ckmarkoh:但至少sim10.aag產生出來的是可以變const0
推 BBSealion:你說的是只能有一個po吧？
→ ckmarkoh:只能有一個po的電路 我才有辦法把它複製一遍
→ ckmarkoh:再把這兩個po都接到XOR