Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs (2006)

by M Herbstritt, B Becker, C Scholl
Venue:In Microprocessor Test and Verification Workshop