作者a3785lexx (Alex)
看板EE_DSnP
標題[請益] 重複讀取電路建立BDD...
時間Sat Jan 16 22:43:28 2010
天啊我覺得自己好像這兩天問題連發...
事情是這樣的...
剛剛又在寫測資，想要檢查看看自己cirBdd到底是不是對的...
可是發現其實好像沒有辦法不q -f的情況下
一直cirr -r不同的電路來cirbdd？？
我發現問題都會出在cirsetv上面
常常會有PI沒有辦法成功建立
所以cirBdd的時候，PI的bdd node會有還是0的情況
我的會經過assert中斷，就不能繼續了
ref program會收到程式區段錯誤
總之就是不能一個小dofile作完多個電路就是了
不過為甚麼cirsetv偶爾會fail呢？？
是因為只有_bddArr.clear()其實還不夠嗎XD？？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.37.83.114
1F：→ a3785lexx:順帶一提今天這裡人氣好旺啊XD 01/16 23:04
2F：推 dryman:問題連發加一（握） 話說因為沒寫reset()卡關卡超久orz.. 01/16 23:23
3F：推 ric2k1:你的 BddMgr::reset() 有寫對嗎? 有沒有 delete 掉所有的 01/17 00:46
4F：→ ric2k1:BddNodeInt* 呢? 01/17 00:46
5F：推 dryman:BddMgr::reset()沒寫的話_zero, _one, _support會出錯:p 01/17 01:09
6F：→ a3785lexx:bddNodeInt*都delete了...ref prog也掛了所以我很好奇XD 01/17 01:48
7F：推 ric2k1:ref prog 掛了? cirr -r 之後也許你要 breset...? 01/17 01:55
8F：→ a3785lexx:不過cirsetv不是應該也會叫init()->reset()嗎？？ 01/17 01:58
9F：→ a3785lexx:所以不太明白它到底怎麼掛的... 01/17 01:58
10F：推 ric2k1:我試了沒有掛啊... what's the dofile? 01/17 02:17
11F：推 shang3572001:cirr -r以前沒有breset就會有error: pi not build是 01/17 02:25
12F：→ shang3572001:正常的嗎..我的也有這問題... 01/17 02:25
13F：推 ric2k1:I see. cirr -r 之後如果直接 cirb -all 就會 crash... 01/17 08:25
14F：→ ric2k1:應該要 breset 後才能 cirsetv or cirb -all 的 01/17 08:26
15F：→ ric2k1:這個 bug 以後再修. 大家先這樣用吧! 01/17 08:26
16F：→ a3785lexx:其實重複同一個cirsetv就可以work了！ 01/17 10:29
17F：→ a3785lexx:雖然我不知道為甚麼是這樣XD 01/17 10:29