Directed-Binary Search in Logic BIST Diagnostics.
Rohit KapurThomas W. WilliamsM. Ray MercerPublished in: DATE (2002)
Keyphrases
- binary search
- built in self test
- multi valued
- proof theory
- classical logic
- sound and complete axiomatization
- predicate logic
- defeasible logic
- neural network
- automated reasoning
- logic programming
- expert systems
- logical framework
- power plant
- nonmonotonic logics
- deontic logic
- asynchronous circuits
- logic programs
- logic synthesis
- knowledge base
- computer vision