×

使用功能模型测试现代微处理器的诊断。 (英语。俄文原件) Zbl 1167.68351号

自动化。远程控制 69,第8期,1398-1410(2008); 来自Avtom的翻译。Telemekh公司。2008年,第8期,139-152(2008)。
摘要:提出了一种在计算机代码水平上开发并行处理器功能诊断测试的新方法。这种方法基于处理器体系结构的功能分解和功能模型的使用。该方法用于开发测试输送机过程数据存储和传输机制的技术。开发了用于生成这些机制测试的模型和算法。在模型上验证了诊断测试的性能。

MSC公司:

68M99型 计算机系统组织

关键词:

功能诊断测试
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Maxwell,P.C.和Aitken,R.C.,《测试集和拒绝率:所有故障覆盖率都不相等》,EEE设计;测试计算。,1993年,第10卷,第1期,第42-51页·Zbl 05093013号 ·doi:10.1109/54.199804
[2] Roelandts,W.,《聚焦可编程技术》,Xcell J.,2004年,第51期,第6-16页。
[3] Mishra,P.和Dutt,N.,基于图的流水线处理器功能测试程序生成,Proc。ACM/IEEE设计自动化。Conf.(DAC),2004年,第182-187页。
[4] Van Campenhout,D.、Mudge,T.N.和Hayes,J.P.,流水线微处理器设计验证的高级测试生成,Proc。ACM设计自动化。Conf.(DAC),1999年,第185-188页。
[5] Zorian,Y.、Marinissen,E.J.和Dey,S.,《嵌入式核心系统芯片测试》,Proc。IEEE国际测试委员会(ITC),1998年,第130–143页。
[6] Thatte,S.M.和Abraham,J.A.,《微处理器测试生成》,IEEE Trans。计算。,1980年,第C-29(6)卷,第429–441页·Zbl 0436.94044号 ·doi:10.1109/TC.1980.1675602
[7] Sharshunov,S.G.,RISC微处理器的功能测试,Avtom。Telemekh.公司。,2004年,第11期,第174-183页。
[8] Chipulis,V.P.和Sharshunov,S.G.,Analiz i postroenie testov tsifrovykh programmno-upravlyaemykh ustroistv(数字软件控制设备的分析和构建),莫斯科:能源公司,1992年。
[9] Batcher,K.和Papachristou,C.,《处理器内核的指令随机化自检》,Proc。IEEE VLSI测试交响乐。(悉尼威立雅运输公司),1999年,第34-40页。
[10] Corno,F.、Gumani,G.、Sonza Reorda,M.和Squillero,G.,《微处理器内核的全自动测试程序生成》,Proc。IEEE/ACM设计手册&《欧洲测试规则汇编》(日期),2003年,第1卷,第11006–11011页。
[11] Tupuri,R.和Abraham,J.A.,《使用商用ATPG的处理器的新型功能测试生成方法》,Proc。IEEE国际测试委员会(ITC),1997年,第743–752页。
[12] Vedula,V.M.和Abraham,J.A.,《因子:功能测试生成和可测试性分析的层次方法》,Proc。IEEE/ACM设计自动化&欧洲测试会议(日期),2002年,第730-735页。
[13] Shen,J.和Abraham,J.A.,应用于自检和设计验证的处理器的本机模式功能测试生成,Proc。IEEE国际测试委员会(ITC),1998年,第990-999页。
[14] Chen,L.、Ravi,S.、Ranghunathan,A.和Dey,S.,基于可扩展软件的可编程处理器自测试方法,Proc。ACM/IEEE设计自动化。Conf.(DAC),2003年,第548–553页。
[15] Sharshunov,S.G.、Belkin,V.V.和Rudnitskaya,V.P.,《检测当前处理器控制硬件的故障》,Proc。IEEE东西方设计;测试研讨会(EWDTW),2005年,第169-174页。
[16] Sharshunov,S.G.和Belkin,V.V.,《微处理器的功能测试:案例研究》,Proc。IEEE东西方设计&测试研讨会(EWDTW),克里米亚,2004年,第135–141页。
[17] Hennessy,J.L.和Patterson,D.A.,《计算机体系结构:定量方法》,旧金山:摩根考夫曼出版社,2003年·Zbl 0752.68014号
[18] Börger,E.和Stärk R.,《抽象状态机:高层系统设计和分析的方法》,柏林:Springer-Verlag出版社,2003年·Zbl 1040.68042号
[19] Burch,J.R.和Dill,D.L.,《流水线微处理器控制的自动验证》,载于《计算机辅助验证》(CAV’94),Dill,D.L.,Ed.,纽约:Springer-Verlag,1994年,第818卷,第68–80页。
[20] Berezin,S.、Clarke,E.、Biere,A.和Zhu,Y.,使用模型检查和轻量级完成函数验证无序处理器设计,形式化方法。系统。《设计》,2002年,第20卷,第159-186页·Zbl 1014.68147号 ·doi:10.1023/A:1014170513439
[21] Iwashita,H.、Kowatari,S.、Nakata,T.和Hirose,F.,《流水线处理器的自动测试程序生成》,Proc。ACM国际会议计算机辅助设计(ICCAD),1994年,第580-583页。
[22] Ashenden,P.J.,《VHDL食谱》,阿德莱德:阿德莱特大学,1990年。
[23] Hennessy,J.L.和Patterson,D.A.,《计算机体系结构:定量方法》,旧金山:摩根考夫曼出版社,1996年·Zbl 0844.68003号
[24] Chen,L.,处理器内核的嵌入式硬件和软件自测试方法,Proc。ACM/IEEE设计自动化。Conf.(DAC),2000年,第625-630页。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。