SoC高级综合验证研究进展
针对近年来片上系统(system on chip,SoC)高级综合验证领域的工作,首先分析了高级综合验证的难点,然后根据应用领域将算法分为3类:高级综合前端验证算法、高级综合调度验证算法和高级综合后端验证算法.同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了SoC高级综合验证算法目前面临的映射关系缺失、状态空间爆炸和复杂的数据结构等挑战,并对该领域今后的研究方向进行了展望.
高级综合、带数据通路的有限状态机、互模拟关系、路径验证、形式化方法
33
TP391.7(计算技术、计算机技术)
国家自然科学基金61902421
2021-03-02(万方平台首次上网日期,不代表论文的发表时间)
共11页
287-297