计算机工程

• 体系结构与软件技术 • 上一篇    下一篇

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

杨修涛,谷小秋   

  1. (北京电子工程总体研究所,北京 100854)
  • 收稿日期:2014-08-14 出版日期:2015-09-15 发布日期:2015-09-15
  • 作者简介:杨修涛(1978-),男,高级工程师、博士,主研方向:计算机辅助设计,VLSI/SoC验证,数据分析;谷小秋,工程师。

Digital Signal Processor Verification Based on Instructions

YANG Xiutao,GU Xiaoqiu   

  1. (Beijing Institute of Electronics System Engineering,Beijing 100854,China)
  • Received:2014-08-14 Online:2015-09-15 Published:2015-09-15

摘要:

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

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

Abstract:

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.

Key words: verification, Digital Signal Processor(DSP), data relation, instruction generation, coverage, automatic generation

中图分类号: