SoC高级综合验证研究进展

作     者：胡健 胡永扬 王观武 陈桂林 杨海涛 康云 王康 李思昆 Hu Jian;Hu Yongyang;Wang Guanwu;Chen Guilin;Yang Haitao;Kang Yun;Wang Kang;Li Sikun

作者机构：国防科学技术大学第六十三研究所南京210000 国防科学技术大学计算机学院长沙410000 

基　　金：国家自然科学基金(61902421) 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2021年第33卷第2期

页      码：287-297页

摘      要：针对近年来片上系统(system on chip,SoC)高级综合验证领域的工作,首先分析了高级综合验证的难点,然后根据应用领域将算法分为3类:高级综合前端验证算法、高级综合调度验证算法和高级综合后端验证算法.同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了SoC高级综合验证算法目前面临的映射关系缺失、状态空间爆炸和复杂的数据结构等挑战,并对该领域今后的研究方向进行了展望.

主 题 词：高级综合 带数据通路的有限状态机 互模拟关系 路径验证 形式化方法 

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3724/SP.J.1089.2021.18394

馆 藏 号：203102040...