| 论文编号: | TP36 |
| 第一作者所在部门: | 专用集成电路与系统研究室(二室) |
| 论文题目: | 数字信号处理器的模型验证 |
| 论文题目英文: | |
| 作者: | 王海荥;梁利平; |
| 论文出处: | |
| 刊物名称: | 电子测量技术 |
| 年: | 2009 |
| 卷: | |
| 期: | 5 |
| 页: | 4，111-115 |
| 联系作者: | |
| 收录类别: | |
| 影响因子: | |
| 摘要: | 本文主要描述了对一款数字信号处理器的模型基于仿真验证的验证方法,对数字信号处理器的SystemC模型和RTL级的模型进行了验证。着重分析了如何在验证过程中提高覆盖率,提高验证的完备性。针对该处理器的结构特点,采用多种方式产生验证程序来验证模型的正确性,包括编写手工编写验证程序,替换验证,组合验证,高级语言转汇编的验证和伪随机验证,并对数字信号处理器的代码覆盖率进行了统计。验证后该数字信号处理器的模型能够与参考模型保持一致。 |
| 英文摘要: | |
| 外单位作者单位: | |
| 备注: | |
科研产出