摘要： 本文在讨论和分析现有PLA测试生成方法的基础上.综合比较了这些方法的各个特点,针对PLA测试的特殊性,提出了一个折衷的简洁、易理解、易实现的PLA测试生成算法──析优法的思想,以及合理的各种具体要求和启发式措施,便于增强算法的效率,并在VAX-11/780上用PASCAL实现。该算法还能辅助PLA的设计、验证和进行PLA可测试性设计的指导。

Abstract: This paper will synthetically compare the characteristics of the current PLA test generation methods, based on the discussion and analysis for them. For the speciality of PLA testing, a compromise PLA test generation algorithm-APSTG (A PLA Synthetical Test Generation) is proposed which is simple, understandable and easy to implement. Various detailed demands and heuristic measures are applied to it, so as to improve its efficiency. This algorithm is programmed in PASCAL and implemented on the VAX-11/780. APSTG can also aid PLA design and verification and instruct the design for testablity.