Verifying analog oscillator circuits using forward/backward abstraction refinement.
Goran FrehseBruce H. KroghRob A. RutenbarPublished in: DATE (2006)
Keyphrases
- forward backward
- analog vlsi
- analog circuits
- circuit design
- floating gate
- digital circuits
- hidden markov models
- mixed signal
- high level
- neural network
- focal plane
- fault diagnosis
- model checking
- low power
- decision theoretic planning
- database
- multi channel
- differential equations
- feedback loop
- signal processing
- high speed
- step wise
- expert systems
- logic circuits
- search algorithm
- knowledge base
- genetic algorithm
- data sets