A Methodology for Processor Implementation Verification.

Daniel Lewin Dean H. Lorenz Shmuel Ur

Published in: FMCAD (1996)

Keyphrases

functional verification
graphics processing units
efficient implementation
implementation details
formal verification
data mining
software engineering
high speed
model checking
parallel processing
design methodology
parallel architecture
highly parallel
shared memory multiprocessors