论文部分内容阅读
本文首先定义微功能的概念,并由此引出了微处理器中指令时序功能块的故障模型。根据算术逻辑单元的特点,给出了相应的故障模型本文的微处理器测试算法首先核实一个本文定义的变形有限状态机,从而得到微处理器的初始化序列。继而给出了指令时序功能块和数据传输功能块的测试算法,并证明了这两个功能块的测试算法就是微处理器的测试算法,从而简化了微处理器的测试生成。最后将本文指令时序功能块测试算法和文献[2]的方法进行了比较。