基于指令的数字信号处理器验证

• 作者: 杨修涛 谷小秋
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 验证 数字信号处理器 数据相关 指令生成 覆盖率 自动生成
• 年，卷（期）: 2015,（9）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 97-102
• 页数: 6页
• 分类号: TP302
• 字数: 5986字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2015.09.017

摘要

针对数字信号处理器设计中因相关引发的故障,提出一种基于指令的验证方法.结合处理器的体系结构特点给出处理器表示矩阵,并利用该矩阵,根据所使用的功能单元对指令进行划分.在同一个划分内,指令使用相同的功能单元,对这些指令进行两两组合,生成验证指令序列.考虑测试的可观测性给出观测方法,从理论上证明该方法可以完备覆盖到所有数据相关故障.设计验证指令生成系统自动生成验证指令序列,针对DSPC-01处理器进行实验,并与流片后的测试结果比较分析,结果验证了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨修涛		2	1	1.0	1.0
2	谷小秋		1	1	1.0	1.0