微处理器指令译码功能测试的连环验证法  

The SOVM for Functional Testing of Microprocessor Instruction Decoding

作　　者：谈文蓉[1] 曹泽翰[2] 

机构地区：[1]西南民族学院数学系 [2]重庆大学计算机系

出　　处：《西南民族学院学报（畜牧兽医版）》1993年第4期392-395,共4页

摘　　要：提出了微处理器指令译码部分在受限验证思想下的一种改进测试方法——连环验证法,测试序列长度显著减少,故障覆盖率进一步提高。An improved testing method SOVM—series of verification method is proposed on the basis of the restricted thought for functional testing of microprocessor instruction decoding. It is clear that the length of testing sequence is reduced and the fault coverage is further increased.

关 键 词：连环验证法 微处理器 指令译码 

分 类 号：TP368.1[自动化与计算机技术—计算机系统结构]