Testability of AND-EXOR Based Iterative Logic Arrays

Avik Chakraborty

Published in: CoRR (2008)

Keyphrases

logic programming
classical logic
modal logic
predicate logic
data driven
test data generation
information retrieval
automated reasoning
iterative process
multi valued
probabilistic logic
abductive reasoning
asynchronous circuits
logic synthesis