Formal verification of analog circuit parameters across variation utilizing SAT.

Merritt Miller Forrest Brewer

Published in: DATE (2013)

Keyphrases

formal verification
analog circuits
model checking
symbolic model checking
model checker
search algorithm
bounded model checking
neural network
artificial intelligence
fault diagnosis
image processing
web services
low cost
search strategies
dynamic systems