叶琼茹，杨冠鲁

(1.黎明职业大学机电工程系福建泉州362000;2.华侨大学信息科学与工程学院福建泉州362021)

浅谈SoC模块级与系统级的验证

叶琼茹1，杨冠鲁2

(1.黎明职业大学机电工程系福建泉州362000;2.华侨大学信息科学与工程学院福建泉州362021)

SoC芯片通常包含有复杂的数据通路，对复杂的数据通路的验证非常具有挑战性。无线通信SoC中包括很多功能模块，为了验证其复杂的数据通路的正确性，需要对每个功能模块进行模块级的验证。由于SoC验证已经成为整个流程中的重心，所以努力研发新的验证方法及设备，不断完善SoC验证计划和平台是当前的主要任务。以SD控制器和芯片系统(SoC)为例，探讨SoC模块级和系统级的验证，先确定验证策略并编写测试计划，再创建测试平台，最后对复杂的数据进行测试。

SoC模块级;SoC系统级;SD控制器;验证

引言

现今的SoC芯片通常包含有复杂的数据通路(datapath)，尤其是音视频、图象处理等数字信号处理系统。如何检查数据通路的正确性，常常让验证人员头疼。数据信号之间和信号前后时序的相关性比较少或者难以表示，所以，对复杂数据通路的验证非常具有挑战性。幸运的是，在RTL设计前一般进行算法的实现评估，比如开发定点模型，或者数据通路模型。基于这些模型，验证人员可以很容易开发出用于仿真的参考模型。将参考模型与RTL一起仿真并实时地进行比较，这就是基于参考模型的验证方法。它是对复杂数据通路最有效的验证方法。［1］

无线通信SoC中包括很多系统和功能模块，每个系统和功能模块都需要进行模块级的验证。……