作者ric2k1 (Ric)
看板EE_DSnP
标题Re: [问题] cirbdd --- 没有 standardize() 的版本
时间Mon Jan 18 23:30:40 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真的也有被重复利用了，所以...不知道为何大的电路图会建不出来。
: 谢谢同学分享！
好像 run time & cache hit rate 也没有差那麽多...
所以你的问题也不一定是 standardize() 造成的... sorry.
{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.19 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: 13.65 M Bytes
bdd> cirb -all
======================
Cache Hit : 39%
Cache Miss: 61%
bdd> usage
Period time used : 0.53 seconds
Total time used : 1.5 seconds
Total memory used: 13.65 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.53 seconds
Total memory used: 13.65 M Bytes
bdd> cirb -all
======================
Cache Hit : 45.4%
Cache Miss: 54.6%
bdd> usage
Period time used : 18.91 seconds
Total time used : 20.44 seconds
Total memory used: 286.9 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 : 22.46 seconds
Total memory used: 286.9 M Bytes
bdd> cirb -all
======================
Cache Hit : 41.5%
Cache Miss: 58.5%
bdd> usage
Period time used : 0.27 seconds
Total time used : 22.73 seconds
Total memory used: 286.9 M Bytes
bdd>
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.224.41.91
1F：→ ric2k1:i.e. 我把 standardize() comment out 掉跑的 01/18 23:31
2F：推 a3785lexx:怎麽反而跑比较快XD？ 01/18 23:40
3F：推 matt78513:是不是standardize要跑很多if的关系 01/18 23:45
4F：→ ric2k1:哈哈! 我的 hash function 写得不好吧! 留给大家讨论罗 01/19 00:06