XLBIST: X-Tolerant Logic BIST.

Peter Wohl John A. Waicukauski Gregory A. Maston Jonathon E. Colburn

Published in: ITC (2018)

Keyphrases

built in self test
logic programming
modal logic
databases
automated reasoning
abductive reasoning
epistemic logic
linear temporal logic
integrated circuit
multi valued
defeasible logic
nonmonotonic logics
predicate logic
natural deduction
proof theory
sound and complete axiomatization
database