SoC系统验证方法研究  

Research on SoC System Verification Method

作　　者：段然[1,2] 梁婕[1,2] 

机构地区：[1]北京航天自动控制研究所,北京100854 [2]宇航智能控制技术国防科技重点实验室,北京100854

出　　处：《航天控制》2009年第3期80-85,共6页Aerospace Control

摘　　要：从SoC概念入手,介绍了基于IP复用的SoC设计的出现和发展,着重针对基于IP核进行SoC设计所遇到的挑战及其解决方案(SoC系统验证方法)进行探讨,重点讨论了IP核级验证,系统级功能验证以及基于断言的验证方法。Starting with the concept of SoC, the emergence and development of SoC design based on IP-reuse are presented. Then the problems and challenges faced by SoC design are analyzed, next the solution of SoC system verification scheme is discussed as well. Finally, the IP level verification, system level functional verification and assertion-based verification method are researched deeply.

关 键 词：SOC IP复用 验证 断言 

分 类 号：TN492[电子电信—微电子学与固体电子学]