适用于VLIW数字信号处理器的功能验证策略 | |
张延军 ; 何虎 ; 丁谢 ; 雷庭 ; 孙义和 ; ZHANG Yan-jun ; HE Hu ; DING Xie ; LEI Ting ; SUN Yi-he | |
2010-06-09 ; 2010-06-09 | |
关键词 | 验证 数字信号处理器 μGP Verification DSP μGP TP332 |
其他题名 | Verification Strategy for DSP in VLIW Architecture |
中文摘要 | 由于数字信号处理器结构的复杂性,对于数字信号处理器的验证一直是一个很大的挑战。构建一个基于模拟形式的数字信号处理器验证系统,该系统采用测试向量产生工具μGP产生高效率的验证向量,并将硬件设计的模拟结果与周期级精确的模拟器产生的结果进行比较来验证数字信号处理器的正确性。采用该平台对一个九级流水线的超长指令字结构数字信号处理器进行验证,可以在4000条指令内达到99%以上的代码语句覆盖率。; Digital Signal Processors (DSPs) are a big challenge in the verification field because of their complexity. A simulation-based verification system is described in this paper and the system is based on the tool named μGP that can generate effective vectors for verification. Both Verilog-HDL code and C-model of the DSP are simulated on the vectors generated by μGP, and the results are compared. A 9-stage pipelined DSP with VLIW architecture is verified by this verification system, and the statement coverage can attain up to 99.9% within 4000 vectors.; 国家自然科学基金项目(60236020); 高等学校博士学科点专项科研基金项目(20050003083) |
语种 | 中文 ; 中文 |
内容类型 | 期刊论文 |
源URL | [http://hdl.handle.net/123456789/57128] |
专题 | 清华大学 |
推荐引用方式 GB/T 7714 | 张延军,何虎,丁谢,等. 适用于VLIW数字信号处理器的功能验证策略[J],2010, 2010. |
APA | 张延军.,何虎.,丁谢.,雷庭.,孙义和.,...&SUN Yi-he.(2010).适用于VLIW数字信号处理器的功能验证策略.. |
MLA | 张延军,et al."适用于VLIW数字信号处理器的功能验证策略".(2010). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论