谷小秋
- 作品数：1 被引量：1H指数：1
- 供职机构：北京电子工程总体研究所更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于指令的数字信号处理器验证被引量：1
- 2015年
- 针对数字信号处理器设计中因相关引发的故障,提出一种基于指令的验证方法。结合处理器的体系结构特点给出处理器表示矩阵,并利用该矩阵,根据所使用的功能单元对指令进行划分。在同一个划分内,指令使用相同的功能单元,对这些指令进行两两组合,生成验证指令序列。考虑测试的可观测性给出观测方法,从理论上证明该方法可以完备覆盖到所有数据相关故障。设计验证指令生成系统自动生成验证指令序列,针对DSPC-01处理器进行实验,并与流片后的测试结果比较分析,结果验证了该方法的有效性。
- 杨修涛谷小秋
- 关键词：数字信号处理器数据相关自动生成
