Logic circuit design with gates, LUTs and MUXs oriented to mask faults.
Anzhela Yu. MatrosovaSergey OstaninD. TretyakovNatalia ButorinaPublished in: EWDTS (2017)
Keyphrases
- circuit design
- digital circuits
- logic circuits
- design automation
- built in self test
- fault detection
- fault diagnosis
- model based diagnosis
- logic programming
- classical logic
- fault models
- proof theory
- epistemic logic
- multi valued
- artificial intelligence
- data sets
- computational properties
- low power
- modal logic
- deontic logic
- programming language
- expert systems
- knowledge base
- fault model
- multiple faults
- floating gate
- neural network