Sequential circuit test generation using dynamic justification equivalence

This publication has 32 references indexed in Scilit:

• The BACK algorithm for sequential test generation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• SPLIT circuit model for test generation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• HITEC: a test generation package for sequential circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An efficient algorithm for sequential circuit test generation
  IEEE Transactions on Computers, 1993
• A test-pattern-generation algorithm for sequential circuits
  IEEE Design & Test of Computers, 1991
• Test Generation for Highly Sequential Circuits
  Published by Defense Technical Information Center (DTIC) ,1989
• A topological search algorithm for ATPG
  Published by Association for Computing Machinery (ACM) ,1987
• An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits
  IEEE Transactions on Computers, 1981
• EBT: A Comprehensive Test Generation Technique for Highly Sequential Circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1978
• Polynomially Complete Fault Detection Problems
  IEEE Transactions on Computers, 1975