Login / Signup

An analysis of ATPG and SAT algorithms for formal verification.

Ganapathy ParthasarathyChung-Yang HuangKwang-Ting Cheng
Published in: HLDVT (2001)
Keyphrases
  • formal verification
  • data analysis
  • learning algorithm
  • artificial intelligence
  • data structure
  • search algorithm
  • orders of magnitude
  • stochastic local search
  • bounded model checking