等价性验证系统的研究与设计

摘要：

等价性验证是目前集成电路设计验证中应用最为广泛的形式化方法,其核心目标是验证两个设计模型之间的功能等价性.以集成电路等价性验证系统的系统架构为主要研究内容,在分析集成电路等价性验证的基础上,对系统架构和算法进行设计和探讨.

关键词：等价性验证、系统架构、集成电路、算法

所属期刊栏目：24

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

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

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

页数：共3页

页码：24-26