A Practical Approach to Word Level Model Checking of Industrial Netlists

@inproceedings{Bjesse2008APA,
  title={A Practical Approach to Word Level Model Checking of Industrial Netlists},
  author={Per Bjesse},
  booktitle={CAV},
  year={2008}
}
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that allows us to check both bounded and unbounded properties using standard bit-level model checking methods as back-end decision procedures, while incurring minimum runtime penalties for designs that are unsuited to our analysis. We do this by combining modifications of several previously known techniques into a static… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
17 Citations
10 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 17 extracted citations

Similar Papers

Loading similar papers…