Self-Testing of Multichip Logic Modules.

Paul H. Bardell William H. McAnney

Published in: ITC (1982)

Keyphrases

test cases
classical logic
logic programming
test set
proof theory
data mining
decision trees
formal verification
functional modules