Using Automatic Case Splits and Efficient CNF Translation to Guide a SAT-solver when Formally Verifying Out-Of-Order Processors.

Miroslav N. Velev

Browse the full ISAIM paper archive.