快速产生组合电路初始输入引线完全测试集的一个算法

本文提出了一种算法,它利用组合网络的布尔函数Z(x),■和相对应的矩阵直接求出所有初始输入引线的完全测试集。由于所有初始输入引线完全测试集的并集能覆盖该组合网络中所有引线的可测单故障,所以该算法可用来快速计算组合电路组件的完全测试集。     

产生异步时序机功能测试序列集的一个算法

时序机功能测试问题是CAD领域中一个十分重要的研究课题。目前,国内外普遍采用状态表分析法。本文提出了一个算法,是从时序机的初始输出函数Z=F(X,y)出发利用■Z=1,时序机矩阵模型中的B矩阵以及文献[1]中的一些主要结果得到异步时序机的功能测试序列集。