Testing Xilinx XC4000 Configurable Logic Blocks with Carry Logic Modules.

Xiaoling Sun Jian Xu Pieter M. Trouborst

Published in: DFT (2001)

Keyphrases

modal logic
predicate logic
logic programming
information systems
sound and complete axiomatization
deontic logic
classical logic
multi valued
automated reasoning
linear logic
defeasible logic
logical framework
database
test cases
building blocks
video sequences
knowledge base
artificial intelligence