Modular and rapid testing of SOCs with unwrapped logic blocks.

Qiang Xu Nicola Nicolici

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2005)

Keyphrases

derivation rules
classical logic
modal logic
computational complexity
test cases
multi valued
defeasible logic
genetic algorithm
information systems
hidden markov models
block size
asynchronous circuits
modular structure