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

摘要：

本文分析了基于BDD的组合电路等价性检验;讨论了构造输出函数的二叉判定图BDD的不同方法,并分析了BDD间布尔操作的不同的算法的异同;然后给出了一种基于BDD的组合电路等价性检验方法.

关键词：等价性验证、二叉判定图、组合电路

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：电子科技大学校科研和教改项目

在线出版日期：2007-04-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：293-294,封三