计算机辅助设计与图形学学报

作者：胡健, 胡永扬, 王观武, 陈桂林, 杨海涛, 康云, 王康, 李思昆

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

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

来源：2021年第2期

《计算机辅助设计与图形学学报》期刊编辑部

查看计算机辅助设计与图形学学报杂志2021年第2期