1. A. Miczo, Digital Logic Testing and Simulation, Harper & Row, New York, 1986.
2. M.A. Breuer and A.D. Friedman, Diagnosis and Reliable Design and Digital Systems, Computer Science Press, Rockville, MD, 1984.
3. W. Johnson, ?Behavioral-Level Test Development,? Proc. 16th Design Automation Conf., pp. 171?179, 1979.
4. M. Kawai, H. Shibano, S.J. Funatsu, S. Kato, T. Kurobe, K. Ookawa, and T. Sasaki, ?A High Level Test Pattern Generation Algorithm,? Proc. Intern. Test Conf., pp. 346?352, 1983.
5. K. Son and J. Fong, ?Table Driven Behavioral Test Generation,? Proc. Intern. Conf. Circuits and Systems, Montreal, vol 2, p. 718?722, May 1984.