Verification of partial designs using incremental QBF solving.

Paolo Marin Christian Miller Matthew Lewis Bernd Becker

Published in: DATE (2012)

Keyphrases

incremental learning
model checking
evolutionary algorithm
optimization problems
design tools
signature verification
asynchronous circuits