Trajectory-Directed discrete state space modeling for formal verification of nonlinear analog circuits.
Sebastian SteinhorstLars HedrichPublished in: ICCAD (2012)
Keyphrases
- formal verification
- analog circuits
- state space
- model checking
- bounded model checking
- automated verification
- fault diagnosis
- digital circuits
- search space
- symbolic model checking
- dynamic programming
- heuristic search
- state variables
- continuous state spaces
- artificial intelligence
- markov decision processes
- dynamical systems
- model checker
- neural network
- program slicing