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