Accelerating High-level Bounded Model Checking

  title={Accelerating High-level Bounded Model Checking},
  author={Malay K. Ganai and Aarti Gupta},
  journal={2006 IEEE/ACM International Conference on Computer Aided Design},
SAT-based Bounded Model Checking (BMC) has been found promising in finding deep bugs in industry designs and scaling well with design sizes. However, it has limitations due to requirement of finite data paths, inefficient translations and loss of high-level design information during the BMC problem formulation. These shortcomings inherent in Boolean-level BMC can be avoided by using high-level BMC. We propose a novel framework for high-level BMC, which includes several techniques that extract… CONTINUE READING
Highly Cited
This paper has 87 citations. REVIEW CITATIONS

7 Figures & Tables



Citations per Year

87 Citations

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

See our FAQ for additional information.