【摘要】 本文对H算法作进一步阐述,并对其确实性作出证明。以H算法为基础的HALG程序已经在计算机PDP11/23上实现,对若干电路进行测试生成的结果表明程序是有效的。更多还原

【Abstract】 The H-algorithm for test generation of asynchronous circuits is discussed and its validity is proved. A program HALG on the basis of H-algorithm is developed on a computer of PDP-11/23, and test sequences are generated for some circuits. The results are con-sistant with the theoretical analysis.更多还原