On SAT-based Bounded Invariant Checking of Blackbox Designs

2005 Sixth International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2005.16 ◽

2005 ◽

Cited By ~ 6

Author(s):

Marc Herbstritt ◽

Bernd Becker

Download Full-text