Login / Signup

Automated Model Generation Including Variations for Formal Verification of Nonlinear Analog Circuits.

Malgorzata Rechmal-LesseGerald Alexander KoroaYeremia Gunawan AdhisantosoMarkus Olbrich
Published in: NEWCAS (2020)
Keyphrases
  • formal verification
  • analog circuits
  • model checking
  • model checker
  • digital circuits
  • fault diagnosis
  • automated verification
  • symbolic model checking
  • bounded model checking
  • neural network
  • temporal logic