摘要
本文主要描述了对一款数字信号处理器的模型基于仿真验证的验证方法,对数字信号处理器的SystemC模型和RTL级的模型进行了验证。着重分析了如何在验证过程中提高覆盖率,提高验证的完备性。针对该处理器的结构特点,采用多种方式产生验证程序来验证模型的正确性,包括编写手工编写验证程序,替换验证,组合验证,高级语言转汇编的验证和伪随机验证,并对数字信号处理器的代码覆盖率进行了统计。验证后该数字信号处理器的模型能够与参考模型保持一致。
A simulation-based verification method is described in this paper. The SystemC and Register Transfer Level （RTL）models of the Digital Signal Processor（DSP） are verified. How to improve the coverage and the completeness of verification are considered in this paper. To verify the model of the DSP many methods are used, such as corner cases, substitute verification, combination verification, the instruction changed from the advanced language verification and pseudo-random verification. And the model of Digital Signal Processor is equal to the reference model after verification.
出处
《电子测量技术》
2009年第5期111-115,共5页
Electronic Measurement Technology
