计算机工程
計算機工程
계산궤공정
Computer Engineering
2015年
9期
97-102
,共6页
验证%数字信号处理器%数据相关%指令生成%覆盖率%自动生成
驗證%數字信號處理器%數據相關%指令生成%覆蓋率%自動生成
험증%수자신호처리기%수거상관%지령생성%복개솔%자동생성
verification%Digital Signal Processor (DSP)%data relation%instruction generation%coverage%automatic generation
针对数字信号处理器设计中因相关引发的故障,提出一种基于指令的验证方法.结合处理器的体系结构特点给出处理器表示矩阵,并利用该矩阵,根据所使用的功能单元对指令进行划分.在同一个划分内,指令使用相同的功能单元,对这些指令进行两两组合,生成验证指令序列.考虑测试的可观测性给出观测方法,从理论上证明该方法可以完备覆盖到所有数据相关故障.设计验证指令生成系统自动生成验证指令序列,针对DSPC-01处理器进行实验,并与流片后的测试结果比较分析,结果验证了该方法的有效性.
針對數字信號處理器設計中因相關引髮的故障,提齣一種基于指令的驗證方法.結閤處理器的體繫結構特點給齣處理器錶示矩陣,併利用該矩陣,根據所使用的功能單元對指令進行劃分.在同一箇劃分內,指令使用相同的功能單元,對這些指令進行兩兩組閤,生成驗證指令序列.攷慮測試的可觀測性給齣觀測方法,從理論上證明該方法可以完備覆蓋到所有數據相關故障.設計驗證指令生成繫統自動生成驗證指令序列,針對DSPC-01處理器進行實驗,併與流片後的測試結果比較分析,結果驗證瞭該方法的有效性.
침대수자신호처리기설계중인상관인발적고장,제출일충기우지령적험증방법.결합처리기적체계결구특점급출처리기표시구진,병이용해구진,근거소사용적공능단원대지령진행화분.재동일개화분내,지령사용상동적공능단원,대저사지령진행량량조합,생성험증지령서렬.고필측시적가관측성급출관측방법,종이론상증명해방법가이완비복개도소유수거상관고장.설계험증지령생성계통자동생성험증지령서렬,침대DSPC-01처리기진행실험,병여류편후적측시결과비교분석,결과험증료해방법적유효성.
