Sign in

Verification of partial designs using incremental QBF solving.

Paolo MarinChristian MillerMatthew LewisBernd Becker
Published in: DATE (2012)
Keyphrases
  • incremental learning
  • model checking
  • evolutionary algorithm
  • optimization problems
  • design tools
  • signature verification
  • asynchronous circuits