: ◆ 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這個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的示範嗎? 謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.234