摘要
提出了微处理器指令译码部分在受限验证思想下的一种改进测试方法——连环验证法,测试序列长度显著减少,故障覆盖率进一步提高。
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.
关键词
连环验证法
微处理器
指令译码
functional testing, testing sequence, fault coverage
