作者ric2k1 (Ric)
看板EE_DSnP
标题[公告] 关於 BSetVar command 之於 BDD calculator and cir BDD
时间Thu Jan 11 23:23:00 2007
// 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
1F:推 onthesea:那请问BsetVar要检查isValidVarName吗? 01/12 10:56
2F:推 nagy:感觉上不用耶 01/12 12:44
3F:推 ric2k1:对 cir 来说, 不会有重复的 gate name 01/12 16:27
4F:→ ric2k1:对BDD cal来说,重复assign就直接盖过,不用检查是否存在 01/12 16:30