论文部分内容阅读
介绍了ＶＬＳＩ功能测试向量生成的Ｐｅｔｒｉ网模型和Ｐｅｔｒｉ网模拟测试序列中指令的关系，构造了压缩存储网络的拓扑信息的Ｐｅｔｒｉ网简约矩阵。用Ｐｅｔｒｉ网简约矩阵检查测试序列的不确定度，使测试序列不确定度最小，从而优化了测试序列，即从给定的指令中选出了最佳测试序列。
The relationship between the Petri net model generated by the VLSI functional test vectors and the instructions in the Petri nets simulation test sequence is introduced, and the Petri net contracted matrix of the topology information of the compressed storage network is constructed. Using Petri nets simple matrix to check the uncertainty of the test sequence and minimize the uncertainty of the test sequence, the test sequence is optimized, that is, the best test sequence is selected from the given instructions.