SAT and ATPG: Boolean engines for formal hardware verification

This publication has 32 references indexed in Scilit:

• A method to calculate necessary assignments in algorithmic test pattern generation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Applying SAT Methods in Unbounded Symbolic Model Checking
  Published by Springer Nature ,2002
• GRASP: a search algorithm for propositional satisfiability
  IEEE Transactions on Computers, 1999
• Combinational test generation using satisfiability
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996
• An efficient equivalence checker for combinational circuits
  Published by Association for Computing Machinery (ACM) ,1996
• Improved deterministic test pattern generation with applications to redundancy identification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
• On the Acceleration of Test Generation Algorithms
  IEEE Transactions on Computers, 1983
• Diagnosis of Automata Failures: A Calculus and a Method
  IBM Journal of Research and Development, 1966
• A machine program for theorem-proving
  Communications of the ACM, 1962
• A Computing Procedure for Quantification Theory
  Journal of the ACM, 1960