On generating compact test sequences for synchronous sequential circuits

This publication has 14 references indexed in Scilit:

• Compaction of ATPG-generated test sequences for sequential circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• FREEZE: a new approach for testing sequential circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A new test generation method for sequential circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Test generation for synchronous sequential circuits based on fault extraction
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• HITEC: a test generation package for sequential circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Sequential circuit test generation in a genetic algorithm framework
  Published by Association for Computing Machinery (ACM) ,1994
• Classification of faults in synchronous sequential circuits
  IEEE Transactions on Computers, 1993
• On achieving a complete fault coverage for sequential machines using the transition fault model
  Published by Association for Computing Machinery (ACM) ,1991
• A directed search method for test generation using a concurrent simulator
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
• SMART And FAST: Test Generation for VLSI Scan-Design Circuits
  IEEE Design & Test of Computers, 1986