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

Digital Signal Processor Verification Based on Instructions

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

To detect faults brought up by related problem during Digital Signal Processor（DSP） design, a method is presented in this paper. It analyzes the architecture of DSP and constructs its Processor Representation Matrix （ PRM）. Each block contains instructions that use same function units. Any two instructions in one block are selected to combine an instructions slice. All these slices combine the verification instructions sets. To observe the result of instructions, an observe method is presented. At the end, it cites that these instructions sets can cover all faults due to data relation in theory. At the same time,it designs a verification instruction generation system to generate instruction set and applies these instructions to DSPC-01 as stimulus. Silicon verification result shows that this method is effective.