适用于VLIW数字信号处理器的功能验证策略

• 作者: 丁谢 何虎 孙义和 张延军 雷庭
• 来源期刊: 微电子学与计算机
• 关键词: 验证 数字信号处理器 μGP
• 年，卷（期）: 2007,（2）
• 页码范围: 1-4,8
• 页数: 5页
• 分类号: TP306
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2007.02.001

摘要

由于数字信号处理器结构的复杂性,对于数字信号处理器的验证一直是一个很大的挑战.构建一个基于模拟形式的数字信号处理器验证系统,该系统采用测试向量产生工具μGP产生高效率的验证向量,并将硬件设计的模拟结果与周期级精确的模拟器产生的结果进行比较来验证数字信号处理器的正确性.采用该平台对一个九级流水线的超长指令字结构数字信号处理器进行验证,可以在4000条指令内达到99%以上的代码语句覆盖率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙义和	清华大学微电子研究所	52	284	9.0	15.0
2	张延军	清华大学微电子研究所	9	157	4.0	9.0
3	何虎	清华大学微电子研究所	40	67	3.0	5.0
4	雷庭	清华大学微电子研究所	2	3	1.0	1.0
5	丁谢	清华大学微电子研究所	1	3	1.0	1.0