基于BDD的组合电路等价性检验方法

摘要：

本文分析了目前常用的等价性检验方法的特点,包括功能性和结构性的验证方法;讨论了基于BDD的组合电路等价性检验方法,并分析了等价性检验过程中的误判问题及其检验方法.

关键词： 形式验证 等价性检验 模拟 二叉判决图 组合电路

作者: 李光辉 邵明 李晓维

作者单位: 浙江林学院信息系(杭州);中国科学院计算技术研究所(北京) 中国科学院计算技术研究所(北京)

会议类型: 国内会议

会议名称: 第二届中国测试学术会议

会议地点: 上海

会议语种:中文

页码: 93-98

在线出版日期: 2002-10-01（万方平台首次上网日期，不代表论文的发表时间）