Efficient translation of boolean formulas to CNF in formal verification of microprocessors.

Miroslav N. Velev

Published in: ASP-DAC (2004)

Keyphrases

formal verification
boolean formula
model checking
conjunctive normal form
machine translation
sat solvers
linear constraints