[問題] 一些指令

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

推 BBCallR:同樣問題+1，另breset後cirr新電路會有點怪，有時會crash 06/20 22:21

推 ric2k1:是指 ref program 嗎? 我來看看... 06/20 22:22

→ BBCallR:e.g. cirr xx,breset xx,cirr oo -r,cirsetv -f,cirb any 06/20 22:23

推 ric2k1:嗯, 又是 cirreset 與 bdd reset 之間糾纏不清的問題... 06/21 00:16

→ ric2k1:去年就有這個問題了, 我來想想要怎麼做比較好... 06/21 00:16

→ ric2k1:但是現在要睡了, 明天還要很早起... 06/21 00:17