An Experimental Delay Test Generator for LSI Logic.

Jean Davies Lesser John J. Shedletsky

Published in: IEEE Trans. Computers (1980)

Keyphrases

latent semantic indexing
vector space
automated reasoning
classical logic
logic programming
modal logic
database
real time
sufficient conditions
test data
text retrieval
statistical tests
data generator