推 onthesea:那請問BsetVar要檢查isValidVarName嗎? 01/12 10:56
推 nagy:感覺上不用耶 01/12 12:44
推 ric2k1:對 cir 來說, 不會有重複的 gate name 01/12 16:27
→ ric2k1:對BDD cal來說,重複assign就直接蓋過,不用檢查是否存在 01/12 16:30
// BSETVar < <(size_t level)> <(string name)> > |
// < -PI < -File | -RFile | -Dfs | -RDfs > >
當 BDD calculator (如 BINV, BAND 等 commands) 與 circuit BDD (如 BBUILD)
ㄧ起用時, 會造成 BSETVar command 的一些 ambiguity.
譬如說 ---
bdd> cread C17.cir
bdd> bsetv -pi -f
bdd> bsetv 5 22GAT
bdd> bsetv 4 16GAT
或是說
bdd> bsetv 5 22GAT
bdd> bsetv 4 16GAT
bdd> cread C17.cir
bdd> bsetv -pi -f
等等...
因此, 我們的期末測資將會將 BDD calculator 與 circuit BDD 分開測,
也就是說會放在不同的 dofile 裡, 避免以上的困擾!!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.130.62