Sequential Circuit Diagnosis Based on Formal Verification Techniques.
Gianpiero CabodiPaolo CamuratiFulvio CornoPaolo PrinettoMatteo Sonza ReordaPublished in: ITC (1992)
Keyphrases
- formal verification
- model checking
- model based diagnosis
- fault diagnosis
- automated verification
- digital circuits
- symbolic model checking
- analog circuits
- bounded model checking
- model checker
- program slicing
- fault detection
- medical diagnosis
- high speed
- circuit design
- model based reasoning
- fault localization
- orders of magnitude
- artificial intelligence