作者eorlthexiv (伊歐)
看板EE_DSnP
標題[問題] 一些指令
時間Sat Jun 20 22:04:52 2009
似乎有些bug...,譬如:
bdd> cirr testcases/C17.cir
bdd> cirsetv -f
bdd> cirr testcases/C17.cir -r
bdd> cirsetv -df
Error: adding BDD node for "1GAT" fails...
bdd> breset 64 8009 30011
bdd> cirsetv -df
Warning: circuit BDD varible order has been set!!
Warning: resetting BDDs...
Error: support size is smaller than the circuit input size!!
也就是我想要reset BDD,卻出現circuit input size太大的error(有點奇怪?)
但是下面這樣似乎是正常的:
bdd> cirr testcases/C17.cir
bdd> cirsetv -f
bdd> cirr testcases/C17.cir -r
bdd> breset 64 8009 30011
bdd> cirsetv -df
另外還有一個問題,當還沒有讀進.cir檔時,cirg會程式記憶體區段錯誤
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.137.66.196
1F：推 BBCallR:同樣問題+1，另breset後cirr新電路會有點怪，有時會crash 06/20 22:21
2F：推 ric2k1:是指 ref program 嗎? 我來看看... 06/20 22:22
3F：→ BBCallR:e.g. cirr xx,breset xx,cirr oo -r,cirsetv -f,cirb any 06/20 22:23
4F：推 ric2k1:嗯, 又是 cirreset 與 bdd reset 之間糾纏不清的問題... 06/21 00:16
5F：→ ric2k1:去年就有這個問題了, 我來想想要怎麼做比較好... 06/21 00:16
6F：→ ric2k1:但是現在要睡了, 明天還要很早起... 06/21 00:17