排序方式： 共有2条查询结果，搜索用时 15 毫秒
1
1.
2.
采用二元判定图（ＢＤＤ）作为工具来描述时序电路是非常有意义和有效的，本文通过对ＢＤＤ的简化达到对状态变换图（ＳＴＧ）输入，路径和状态的压缩，从而提高状态遍历的效率，另外根据电路的特点，提出状态冲突和不相交分解的启发技术以有效地完成验证。 相似文献
1