SoC高级综合验证研究进展

A Survey of Verification for High-level Synthesis

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

Abstract: For the recent research in the verification of high-level synthesis for SoC,this paper analyzes the difficulties on formal verification for high-level synthesis,and classifies the recent research works to 3 classes according to the algorithm types.The algorithms are classified to high-level synthesis verification algorithms for front-end,high-level synthesis verification algorithms for scheduling and high-level synthesis verification algorithms for back-end.Then,the advantages,disadvantages and the used techniques of the existing algorithms are analyzed.Finally,the existing challenges including lack of mapping information,state explosion and complex data structure and future research directions in formal verification for high-level synthesis are discussed.