提出了一种基于自由二元判决图转换的可测性优化方法。
This paper presents a testability optimization method based on free binary decision diagram transformation.
讨论了基于二叉判决图(BDD)的组合电路等价性检验方法,并分析了等价性检验过程中的误判问题及其消除方法;
The combinational equivalence checking methods based on binary decision diagram(BDD)are dis-cussed, the false negative problem during equivalence checking and its eliminating methods are analyzed.
大陪审图宣布判决时阿玛尼心脏病发作。
On the day the grand jury announced its decision, Armani suffered a heart attack.
应用推荐