Using SAT for combinational equivalence checking

  title={Using SAT for combinational equivalence checking},
  author={Eugene Goldberg and Mukul R. Prasad and Robert K. Brayton},
This paper addressesthe problem of combinational equivalencechecking (CEC) which forms one of the key componentsof thecurrentverificationmethodologyfor digital systems.A numberof recentlyproposedBDD based approacheshavemetwith consider ablesuccessin thisarea. However, thegrowinggapbetweenthecapabilityof current solvers and the complexity of verificationinstancesnecessitatestheexploration of alternative, bettersolutions.This paper revisits the applicationof Satisfiability(SAT) algorithms to the… CONTINUE READING
Highly Cited
This paper has 145 citations. REVIEW CITATIONS

4 Figures & Tables



Citations per Year

145 Citations

Semantic Scholar estimates that this publication has 145 citations based on the available data.

See our FAQ for additional information.