作者ric2k1 (Ric)
看板EE_DSnP
標題Re: [問題] cirbdd
時間Mon Jan 18 22:33:00 2010
※ 引述《bassoon1231 (bassoon)》之銘言：
: 如果說比較大的CIR像是C499.cir等等的bdd建不出來（C17.cir小的都沒有問題），
: 老師說可能是standardize沒有寫好，嗯我想請問說除了照講義上的三個rules寫，還有其
: 他要注意的嗎？（或是問甚麼是好的standardize()），還是說key function 沒寫好很
: 嚴重。
: 因為我的hash cache應該沒有問題，我分別在hash check()、cache read()的
: return true裡cout<<"!!"、cout<<"??""，然後跑得時候都有被印出來，代表計算過的
: ite真的也有被重複利用了，所以...不知道為何大的電路圖會建不出來。
: 謝謝同學分享！
FYI, 幫你測了一下 ref prog 的 cache hit rate:
{ric@hebe}:/home/ric/class/dspf09/bdd/sol/runtime>../bdd -f do499.cirb
bdd> cirr ../testcases/C499.cir
bdd> breset 256 10007 10007
bdd>
bdd> cirsetv -file
bdd> usage
Period time used : 0 seconds
Total time used : 0 seconds
Total memory used: -0.2656 M Bytes
bdd> cirb -all
======================
Cache Hit : 42.4%
Cache Miss: 57.6%
bdd> usage
Period time used : 0.85 seconds
Total time used : 0.85 seconds
Total memory used: 27.2 M Bytes
bdd>
bdd> cirsetv -rfile
Warning: circuit BDD variable order has been set!!
Warning: resetting BDDs...
bdd> usage
Period time used : 0.12 seconds
Total time used : 0.97 seconds
Total memory used: 16.93 M Bytes
bdd> cirb -all
======================
Cache Hit : 45.8%
Cache Miss: 54.2%
bdd> usage
Period time used : 0.21 seconds
Total time used : 1.18 seconds
Total memory used: 16.93 M Bytes
bdd>
bdd> cirsetv -dfs
Warning: circuit BDD variable order has been set!!
Warning: resetting BDDs...
bdd> usage
Period time used : 0.03 seconds
Total time used : 1.21 seconds
Total memory used: 16.93 M Bytes
bdd> cirb -all
======================
Cache Hit : 42%
Cache Miss: 58%
bdd> usage
Period time used : 22.56 seconds
Total time used : 23.77 seconds
Total memory used: 287 M Bytes
bdd>
bdd> cirsetv -rdfs
Warning: circuit BDD variable order has been set!!
Warning: resetting BDDs...
bdd> usage
Period time used : 2.02 seconds
Total time used : 25.79 seconds
Total memory used: 287 M Bytes
bdd> cirb -all
======================
Cache Hit : 43.8%
Cache Miss: 56.2%
bdd> usage
Period time used : 0.24 seconds
Total time used : 26.03 seconds
Total memory used: 287 M Bytes
bdd>
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.224.41.91
1F：推 bassoon1231:謝謝老師！！我研究看看 01/18 22:45
2F：推 bassoon1231:要怎麼樣測hit rate 01/18 22:50
※ 編輯: ric2k1 來自: 61.224.41.91 (01/18 23:09)
3F：→ yclanner:所以Cache hit rate這麼高喔! 01/18 23:09
4F：→ ric2k1:剛剛在 BddMgr 裡加了 _cacheAccess and _cacheHit 來記錄 01/18 23:10
5F：→ ric2k1:init() 時 reset 成 0, cirbuild 完之後就 report stat 01/18 23:11
6F：→ ric2k1:原來 po 的有點算錯, 更正了一下 01/18 23:11