作者ric2k1 (Ric)
看板EE_DSnP
標題Re: [問題] 我還是不太懂support的意義
時間Fri Jun 20 12:22:55 2008
※ 引述《BattleRoyale (翔燄)》之銘言：
: : ◆ From: 219.70.196.195
: : 推 ric2k1:1. 是不會再變動了, 2. 每個 level 的 support 的 left and 06/20 01:49
: : → ric2k1:right children 一樣, 但是由於 support 自己本身的 level 06/20 01:49
: : → ric2k1:不一樣, 所以他們當然是不一樣的 BddNodeInt* ==> 不能雪兒 06/20 01:50
: 那我想請問一個問題
: 如果說我這樣寫
: bsetv 1 a
: bsetv 2 b
: band a a b
a = _supports[1];
b = _supports[2];
a = a & b;
: 那請問會發生什麼事呢@@?
: 是不是a這個node的_nodeV其實會變成一個全新的node 而不是代表support了?
可以這麼說
: 另外兩再請問一下
: 印象中教授說brep支援兩個格式
: 1. 一般variable
: 2. cirgate的id
: 但在brep的help裡寫道：
: BREPort <(string bddName)> [-ADDRess] [-REFcount] [-File <(string fileName)>]
: 想請問最後面的-File<string fileName>不知道該怎麼使用...
: 因為我在ref下 brep -addr -ref -F C17.aag
: (假設C17.aag在同一資料夾下) 傳回error(不是crash)
: 可以請教授解釋一下brep的示範嗎? 謝謝
1. You miss "bddName"
2. "fileName" is the output file name for the report, not the circuit file
For example,
brep 13 -addr -ref -f 13.bdd
It should work.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.21.241
1F：推 BattleRoyale:謝謝教授! 06/20 12:54