基于软件模拟的SoC功能验证技术研究进展  

Overview of Simulation-based SoC Functional Verification Technology

作　　者：孙纲德[1] 丁勇[1] 宋文华[1] 罗小华[1] 严晓浪[1] 

机构地区：[1]浙江大学超大规模集成电路设计研究所,杭州310027

出　　处：《小型微型计算机系统》2012年第4期896-904,共9页Journal of Chinese Computer Systems

基　　金：国家"八六三"高技术研究发展计划项目(2009AA011706)资助;浙江大学基本科研业务费专项基金项目(KYJD09012)资助

摘　　要：软件模拟验证在SoC设计中得到了广泛的研究和应用,是目前SoC功能验证的主要方法.文中从高度抽象化、可重用和自动化三个方面梳理和综述了基于软件模拟的SoC功能验证技术的研究进展.同时,基于断言的验证在SoC的功能验证技术中起到重要的辅助性作用,文中阐述了断言技术的研究进展.最后,对软件模拟验证技术的发展趋势进行了展望.As integrated circuit design moves to executable specification and system level design with higher abstraction above RTL, simulation-based functional verification is becoming the main technology of SoC functional verification. In this paper, we give a deep analysis on the research progress of simulation-based functional verification focusing on three aspects including higher abstraction, re- usability and automation. Meanwhile, the assertion-based verification plays an important role in present-day SoC verification which can greatly improve the efficiency of SoC functional verification, so the research progress of assertion-based verification is also discussed. Finally, the future development trends of simulation-based functional verification technology are stated.

关 键 词：功能验证 抽象化 可重用 自动化 断言 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]