推 ric2k1:可以給個例子嗎? 06/03 06:47
※ 編輯: spock 來自: 218.160.63.47 (06/03 13:23)
→ spock:老師你該不會也還沒睡... 06/03 13:23
推 ric2k1:是起床了... orz 06/03 15:41
請問老師，我剛才測試過 aiger-20071012/examples/ 與 tip-k-ind-aigs-o1234g/
小於 100k 的檔案（因為我的 code 執行時間是老師的 60 倍，還不敢測太大的檔），
發現所有 .aig 檔案的 cirp -n 輸出結果與 ref 完全一樣。
但是 example 裡面的 and 與 or 比較奇怪。
ref 輸出同一種電路的 .aig 與 .aag 時，PI 的順序與 AND 右手邊輸出順序剛好相反。
我的程式則是 .aig 與 .aag 一樣。
不知道這樣會不會造成助教批改的困擾？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.160.64.158