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

作     者：孙纲德 丁勇 宋文华 罗小华 严晓浪 SUN Gang-de;DING Yong;SONG Wen-hua;LUO Xiao-hua;YAN Xiao-lang

作者机构：浙江大学超大规模集成电路设计研究所杭州310027 

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

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2012年第33卷第4期

页      码：896-904页

摘      要：软件模拟验证在SoC设计中得到了广泛的研究和应用,是目前SoC功能验证的主要方法.文中从高度抽象化、可重用和自动化三个方面梳理和综述了基于软件模拟的SoC功能验证技术的研究进展.同时,基于断言的验证在SoC的功能验证技术中起到重要的辅助性作用,文中阐述了断言技术的研究进展.最后,对软件模拟验证技术的发展趋势进行了展望.

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

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

核心收录：

D　O　I：10.3969/j.issn.1000-1220.2012.04.046

馆 藏 号：203334362...