片上系统高层等价性检验研究进展

摘要：

针对近年来 SoC 领域的工作，首先分析了高层等价性检验的难点；然后从算法类型归类角度对各种高层等价性检验方法进行了概述评论，同时分析了各类算法的优缺点和现有算法的主要技术手段；最后讨论了 SoC 高层等价性检验方法目前面临的挑战，并对该领域今后的研究方向进行了展望。

关键词：等价性检验、带数据通路的有限状态机、符号模拟、形式化方法

所属期刊栏目：28

分类号：TP391.7(计算技术、计算机技术)

资助基金：国家自然科学基金重点项目61133007;国家自然科学基金61272335

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

页数：共10页

页码：371-380