Advanced methods for equivalence checking of analog circuits with strong nonlinearities.

Sebastian Steinhorst Lars Hedrich

Published in: Formal Methods Syst. Des. (2010)

Keyphrases

analog circuits
real time
low cost
benchmark datasets
leads to significant improvements
significant improvement
preprocessing
dynamic systems