二叉决策图论文

论文题目:超大规模集成电路形式验证的方法研究论文类型:博士论文论文专业:电路与系统作者:卢永江导师:严晓浪关键词:模拟验证,形式验证,等价性验证,二叉决策图,可满足性,割集,锁...

本文主要研究内容作者潘竹生,王晖,曾令国（2019）在《一种用于BDD模型构建的排序起点选择新方法》一文中研究指出：在BDD网络可靠性分析中,还没有一种可用的方法用来选择最佳(...