A Methodology for Large-Scale Hardware Verification.

Mark D. Aagaard Robert B. Jones Thomas F. Melham John W. O'Leary Carl-Johan H. Seger

Published in: FMCAD (2000)

Keyphrases

hardware and software
low cost
small scale
real time
hardware designs
face verification
model checking
data acquisition
real world
trading systems
real life
artificial intelligence
hardware implementation
computing systems
design methodology
computing power
data sets