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

摘要：

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

关键词：验证、数字信号处理器、数据相关、指令生成、覆盖率、自动生成

所属期刊栏目：41

分类号：TP302(计算技术、计算机技术)

在线出版日期：2015-11-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：97-102