数字信号处理器的模型验证

• 作者: 梁利平 王海荣
• 来源期刊: 电子测量技术
• 学科: 工学
• 关键词: 验证 数字信号处理器 SystemC
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 微处理器应用
• 页码范围: 111-115
• 页数: 5页
• 分类号: TP36
• 字数: 5135字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-7300.2009.05.031

摘要

本文主要描述了对一款数字信号处理器的模型基于仿真验证的验证方法,对数字信号处理器的SystemC模型和RTL级的模型进行了验证.着重分析了如何在验证过程中提高覆盖率,提高验证的完备性.针对该处理器的结构特点,采用多种方式产生验证程序来验证模型的正确性,包括编写手工编写验证程序,替换验证,组合验证,高级语言转汇编的验证和伪随机验证,并对数字信号处理器的代码覆盖率进行了统计.验证后该数字信号处理器的模型能够与参考模型保持一致.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王海荣	清华大学微电子研究所	7	16	3.0	3.0
2	梁利平	中国科学院微电子研究所	47	126	7.0	9.0