10.3969/j.issn.1671-4679.2010.03.007
等价性验证系统的研究与设计
等价性验证是目前集成电路设计验证中应用最为广泛的形式化方法,其核心目标是验证两个设计模型之间的功能等价性.以集成电路等价性验证系统的系统架构为主要研究内容,在分析集成电路等价性验证的基础上,对系统架构和算法进行设计和探讨.
等价性验证、系统架构、集成电路、算法
24
TP301(计算技术、计算机技术)
黑龙江省自然科学基金资助项目F200829
2011-01-28(万方平台首次上网日期,不代表论文的发表时间)
共3页
24-26