Bounded Model Checking

References for ECEN 5139, Formal Verification of VLSI Systems
 


Class notes for BMC and SAT  (in PDF), Nov. 2003.
Related papers (pointing to the websites of the authors)