On concurrent test of wrapped cores and unwrapped logic blocks in SOCs.

Qiang Xu Nicola Nicolici

Published in: ITC (2005)

Keyphrases

test cases
information systems
classical logic
genetic algorithm
knowledge base
bayesian networks
operating system
image blocks
automated reasoning
set theory
predicate logic
fractal image coding