An approach to sequential circuit diagnosis based on formal verification techniques.
Gianpiero CabodiPaolo CamuratiFulvio CornoPaolo PrinettoMatteo Sonza ReordaPublished in: J. Electron. Test. (1993)
Keyphrases
- formal verification
- model checking
- bounded model checking
- high speed
- model based diagnosis
- fault diagnosis
- model checker
- fault detection
- symbolic model checking
- analog circuits
- digital circuits
- automated verification
- program slicing
- circuit design
- medical diagnosis
- fault localization
- model based reasoning
- logic circuits
- temporal logic
- artificial intelligence