Qualitative Abstraction based Verification for Analog Circuits.
Mohamed H. ZakiSofiène TaharGuy BoisPublished in: ISoLA (2007)
Keyphrases
- analog circuits
- digital circuits
- fault diagnosis
- wavelet packet transform
- bounded model checking
- qualitative reasoning
- hardware designs
- neural network
- model checking
- face verification
- qualitative and quantitative
- quantitative and qualitative
- qualitative information
- formal verification
- expert systems
- high level
- signature verification
- qualitative simulation
- decision making
- data mining