作者bassoon1231 (bassoon)
看板EE_DSnP
标题[问题] cirbdd
时间Mon Jan 18 21:52:59 2010
如果说比较大的CIR像是C499.cir等等的bdd建不出来（C17.cir小的都没有问题），
老师说可能是standardize没有写好，嗯我想请问说除了照讲义上的三个rules写，还有其
他要注意的吗？（或是问甚麽是好的standardize()），还是说key function 没写好很
严重。
因为我的hash cache应该没有问题，我分别在hash check()、cache read()的
return true里cout<<"!!"、cout<<"??""，然後跑得时候都有被印出来，代表计算过的
ite真的也有被重复利用了，所以...不知道为何大的电路图会建不出来。
谢谢同学分享！
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.32.137.80
1F：推 ric2k1:或者是 cache size 太小了? 01/18 22:16
2F：推 yclanner:嗯... 我记得我测某一个的时候等了十分钟才建好... 01/18 23:05
3F：→ yclanner:我等五分钟的时候差点觉得没建出来想把它关掉XD... 01/18 23:06
4F：→ yclanner:(不过usage只显示两分多钟...超怪的...) 01/18 23:07
5F：推 ric2k1:cpu time and physical time are different... 01/18 23:09
6F：推 yclanner:所以usage显示的是cpu time罗? 01/18 23:12
7F：推 ric2k1:Yes. That's the cpu usage your program takes. 01/18 23:15
8F：→ bassoon1231:嗯..放很久很久很久以後我的也有一些跑得出来了：） 01/19 00:18
9F：推 yclanner:XDDD 01/19 09:11