作者BattleRoyale (翔焰)
看板EE_DSnP
标题Re: [问题] 我还是不太懂support的意义
时间Fri Jun 20 11:43:34 2008
: ◆ 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