Login / Signup

Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test.

Hratch MangassarianAndreas G. VenerisMarco Benedetti
Published in: IEEE Trans. Computers (2010)
Keyphrases
  • high speed
  • neural network
  • analog vlsi
  • quantified boolean formulas
  • computationally efficient
  • model checking
  • power consumption
  • test generation