时序电路中不可测故障的判别

本文提出了判别时序电路不可测故障的一种有效的方法。它采用了可以在整个电路中传播未知的初始化特征的可控性计算和符号化的模拟程序来完成，通过标识不可初始化的触发状态和不可判别其肯定值的电路线，该方案可分类和标识出四种类型的不可测试的故障。