A new heuristic test generation algorithm for sequential circuits
1974; Linguagem: Inglês
10.5555/800291.811390
AutoresToshihiro Arima, Mitsukuni Tsuboya, Goro Amamiya, Jiro Okuda,
Tópico(s)Formal Methods in Verification
ResumoThis paper describes a new heuristic algorithm for the computation of tests to detect failures in sequential logic circuits. In the algorithm, the values of logic blocks in a logic circuit are expressed in boolean vectors with six elements and main process of the algorithm is the operations among these values. Presented in this paper are basic principles for the algorithm, their application procedure with an example and our experiences through the implemented system.
Referência(s)