基于WGL模型的等价性验证

摘要：

等价性验证在集成电路设计中占有重要地位.然而,传统的电路表示模型存在着算法复杂度高或只针对特定电路有效的缺点.针对这一缺点在介绍了WGL模型的基础上,给出基于该模型的等价性验证算法,并对比传统的BDD模型进行实验.实验结果表明算法是有效的.

关键词：形式验证、等价性验证、WGL模型

所属期刊栏目：14

分类号：TP331.1(计算技术、计算机技术)

资助基金：黑龙江省自然科学基金资助项目F200829

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

页数：共4页

页码：113-116