[問題] 比較 .cir的結果

[kahang (終於大四了耶^^)]

我想問問看如果在沒有寫BDRAW的情況下
要如何去比較自己的program跟reference program的輸出結果？
像C432之類的電路如果只用brep的話螢幕中只能顯示一部分的結果
請問適當的方法應該是怎樣？
還有檢查.cir的輸出有沒有bug的方法是把所有gate的BDD也比比看嗎？
謝謝^^"

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.247.168
※ 編輯: kahang          來自: 140.112.247.168      (01/19 11:32)
推 ric2k1:bdd -f do.C432 > out.C432
→ ric2k1:然後用 "diff"...
→ ric2k1:不過要注意如果 dofile 的結尾沒有 "q -f" 的話
→ ric2k1:最後他會等你輸入 "q -f" (without "bdd>" prompt)...
推 ric2k1:不要以為是當掉了 XD
推 ric2k1:一樓: 當然要先 run 一份 ref prof 的 out.C432.gold
→ ric2k1:diff out.C432.gold out.C432
推 kahang:謝謝老師^^"
推 timrau:dofiles/裡好像已經附了C432, C432_r, C499, C499_r的解答