Login / Signup
Formal approaches to analog circuit verification.
Erich Barke
Darius Grabowski
Helmut Graeb
Lars Hedrich
Stefan Heinen
Ralf Popp
Sebastian Steinhorst
Yifan Wang
Published in:
DATE (2009)
Keyphrases
</>
analog circuits
neural network
formal model
formal methods
artificial intelligence
image restoration
formal analysis
formal verification