Parallel Testing of Random Logic LSIs.

Nobuo Arai Yoshio Yamanaka

Published in: ITC (1984)

Keyphrases

multi valued
parallel hardware
predicate logic
classical logic
software testing
proof theory
test cases
shared memory
computer architecture
logical framework
parallel computation
automated reasoning
neural network
randomly generated
logic programming
multi agent
case study
artificial intelligence