Deterministic Logic BIST for Transition Fault Testing.
Valentin GhermanHans-Joachim WunderlichJürgen SchlöffelMichael GarbersPublished in: ETS (2006)
Keyphrases
- built in self test
- fault model
- fault detection
- fault diagnosis
- fault injection
- test cases
- modal logic
- computational properties
- epistemic logic
- predicate logic
- real time
- classical logic
- state transition
- defeasible logic
- multi valued
- automated reasoning
- software testing
- black box
- temporal logic
- logic programming
- object oriented
- case study
- information systems
- artificial intelligence