Test generation for synchronous sequential circuits using multiple observation times

This publication has 13 references indexed in Scilit:

• An optimal test sequence for the JTAG/IEEE P1149.1 test access port controller
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Fast test generation for sequential circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Functional test generation for finite state machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• On achieving a complete fault coverage for sequential machines using the transition fault model
  Published by Association for Computing Machinery (ACM) ,1991
• 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
• RTG: Automatic Register Level Test Generator
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1985
• Test Generation for Microprocessors
  IEEE Transactions on Computers, 1980
• A Nine-Valued Circuit Model for Test Generation
  IEEE Transactions on Computers, 1976