A formal approach to nonlinear analog circuit verification.

Lars Hedrich Erich Barke

Published in: ICCAD (1995)

Keyphrases

analog circuits
formal methods
fault diagnosis
wavelet packet transform
digital circuits
model checking
formal analysis
formal model
formal specification
signature verification
neural network
fuzzy logic
image compression
multiresolution
real time
artificial intelligence
genetic algorithm
machine learning