Analog circuit sizing based on formal methods using affine arithmetic.
Andreas C. LemkeLars HedrichErich BarkePublished in: ICCAD (2002)
Keyphrases
- formal methods
- analog circuits
- fault diagnosis
- digital circuits
- wavelet packet transform
- formal analysis
- model checking
- neural network
- provably correct
- safety critical
- artificial intelligence
- process algebra
- software engineering
- formal specification
- knowledge based systems
- formal specification language
- modeling language
- low cost
- knowledge intensive
- fuzzy logic
- natural language
- case study
- machine learning
- database