文档介绍：年月
第 31 卷第 21 期计算机工程 2005 11
№ puter Engineering November 2005
· 工程应用技术与实现· 文章编号:1000—3428(2005)21—0198—03 文献标识码:A 中图分类号:TP17
一款高端数字 SOC 设计的系统级验证
杜敏, 王世明
(上海交通大学电子工程系,上海 200030)
摘要:集成电路行业的发展,为 SOC 设计积累了丰富的 IP 库和设计方法。采用系统设计常用的基于平台的方法,可以快速完成系统的
集成。但要完成对整个系统的验证,可能要占到整个设计周期 70%以上的时间。而验证的方法是具有多样性的。该文以一款高端 SOC 的
设计经历,简单描述了系统级验证过程,并以同步串联接口模块为例详细介绍了在系统级对 RTL 和门级网表的验证,以及验证所采用的特
殊方法。
关键词:SOC; 系统验证;IP;验证环境
System-level Verification of a High-end Digital SOC Design
DU Min, WANG Shiming
(Electronic Engineering Department, Shanghai Jiaotong University, Shanghai 200030)
【Abstract】With the development of IC industry, there are many IPs and methodologies available for SOC design. Using platform-based design, a
SOC can be integrated rapidly. But the whole verification process may need 70% design effort. There are many ways to verify the SOC, and every
way has its own advantage. This paper based on experience of a SOC design describes the verification process of system level and a special method
when no simulation model available.
【Key words】SOC; System-level verification; IP; Verification environment

在 SOC 的设计中,主要利用了 IP 复用技术。国内外的 1 一款高端数字芯片架构及验证环境
很多 IC 厂家,多年来积累了大量的高性能 IP,包括软核、芯片架构
固核和硬核。利用 IP 核进行的设计将会改善和提高系统的功如图 1 所示,这一款高端数字消费芯片采用了典型的双
能和性能,提高可靠性,降低功耗,减少设计费用,减少产层 AMBA 总线结构。在图中列出了该芯片的部分基本模块,
[1]
品上市时间。如 ARM922T,数字信号处理器(DSP),同步串行接