Exact evaluation of diagnostic test resolution

This publication has 10 references indexed in Scilit:

• MULTIPLE-FAULT SIMULATION AND COVERAGE OF DETERMINISTIC SINGLE-FAULT TEST SETS
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Combinational profiles of sequential benchmark circuits
  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
• Efficient implementation of a BDD package
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Shared binary decision diagram with attributed edges for efficient Boolean function manipulation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A diagnostic test pattern generation algorithm
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Test pattern generation for sequential MOS circuits by symbolic fault simulation
  Published by Association for Computing Machinery (ACM) ,1989
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Binary Decision Diagrams
  IEEE Transactions on Computers, 1978
• Representation of Switching Circuits by Binary-Decision Programs
  Bell System Technical Journal, 1959