Minimal overhead modification of iterative logic arrays for C-testability.

Tsu-Wei Ku Mani Soma

Published in: ITC (1990)

Keyphrases

automated reasoning
classical logic
data driven
modal logic
data mining
data structure
digital circuits
database
real time
databases
expert systems
logic programming
multi valued
defeasible logic
formal theory
delay insensitive