Untestable Fault Identification in Sequential Circuits Using Model-Checking.
Jaan RaikHideo FujiwaraRaimund UbarAnna KrivenkoPublished in: ATS (2008)
Keyphrases
- model checking
- fault identification
- fault detection
- underwater vehicles
- temporal logic
- fault diagnosis
- asynchronous circuits
- formal verification
- model checker
- formal specification
- automated verification
- finite state machines
- computation tree logic
- temporal properties
- bounded model checking
- verification method
- epistemic logic
- formal methods
- pspace complete
- reachability analysis
- symbolic model checking
- transition systems
- single phase
- fault isolation
- decision making
- artificial intelligence