作者kahang (終於大四了耶^^)
看板EE_DSnP
標題[問題] 比較 .cir的結果
時間Fri Jan 19 11:28:24 2007
我想問問看如果在沒有寫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)
1F：推 ric2k1:bdd -f do.C432 > out.C432 01/19 11:39
2F：→ ric2k1:然後用 "diff"... 01/19 11:39
3F：→ ric2k1:不過要注意如果 dofile 的結尾沒有 "q -f" 的話 01/19 11:40
4F：→ ric2k1:最後他會等你輸入 "q -f" (without "bdd>" prompt)... 01/19 11:40
5F：推 ric2k1:不要以為是當掉了 XD 01/19 11:41
6F：推 ric2k1:一樓: 當然要先 run 一份 ref prof 的 out.C432.gold 01/19 11:42
7F：→ ric2k1:diff out.C432.gold out.C432 01/19 11:42
8F：推 kahang:謝謝老師^^" 01/19 13:18
9F：推 timrau:dofiles/裡好像已經附了C432, C432_r, C499, C499_r的解答 01/19 18:55