Logic simulation on vector processors.

Ram Raghavan John P. Hayes William R. Martin

Published in: ICCAD (1988)

Keyphrases

logic programming
simulation model
classical logic
parallel processing
simulation models
data sets
similarity measure
signal processing
logical framework
chip design