Fast test generation for sequential circuits

This publication has 9 references indexed in Scilit:

• Gentest: an automatic test-generation system for sequential circuits
  Computer, 1989
• A directed search method for test generation using a concurrent simulator
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
• Test generation for sequential circuits
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
• An Effective Test Generation System for Sequential Circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1986
• Hitest: A Knowledge-Based Test Generation System
  IEEE Design & Test of Computers, 1984
• An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits
  IEEE Transactions on Computers, 1981
• A Nine-Valued Circuit Model for Test Generation
  IEEE Transactions on Computers, 1976
• A Heuristic Algorithm for the Testing of Asynchronous Circuits
  IEEE Transactions on Computers, 1971
• Diagnosis of Automata Failures: A Calculus and a Method
  IBM Journal of Research and Development, 1966