A new approach for diagnosing bridging faults in logic designs.
Amir Masoud GharehbaghiMasahiro FujitaPublished in: ISCAS (2017)
Keyphrases
- model based diagnosis
- digital circuits
- built in self test
- classical logic
- fault models
- modal logic
- multiple faults
- fault diagnosis
- proof theory
- linear logic
- database
- defeasible logic
- multi valued
- predicate logic
- automated reasoning
- logic programming
- deontic logic
- design space
- dynamic systems
- information technology
- neural network