Towards formal verification of analog designs.

Smriti Gupta Bruce H. Krogh Rob A. Rutenbar

Published in: ICCAD (2004)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
temporal logic
analog vlsi
signal processing
program slicing
artificial intelligence
expert systems