A Formal Approach to Verification of Linear Analog Circuits with Parameter Tolerances.

Lars Hedrich Erich Barke

Published in: DATE (1998)

Keyphrases

analog circuits
fault diagnosis
digital circuits
formal methods
wavelet packet transform
model checking
linear model
neural network
parameter values
formal model
formal analysis
high speed
data mining
input parameters
linear systems
formal verification
object oriented