ON THE ACCELERATION OF TEST GENERATION ALGORlTHMS

This publication has 7 references indexed in Scilit:

• An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits
  IEEE Transactions on Computers, 1981
• PODEM-X: An Automatic Test Generation System for VLSI Logic Structures
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981
• Controllability/observability analysis of digital circuits
  IEEE Transactions on Circuits and Systems, 1979
• 9-V Algorithm for Test Pattern Generation of Combinational Digital Circuits
  IEEE Transactions on Computers, 1978
• Concurrent simulation of nearly identical digital networks
  Computer, 1974
• Analyzing Errors with the Boolean Difference
  IEEE Transactions on Computers, 1968
• Diagnosis of Automata Failures: A Calculus and a Method
  IBM Journal of Research and Development, 1966