作者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