Survey of modern technologies of simulation-based verification of hardware.

Alexander S. Kamkin Mikhail M. Chupilko

Published in: Program. Comput. Softw. (2011)

Keyphrases

hardware and software
low cost
hardware designs
real time
model checking
massively parallel
general purpose
computer systems
image processing
st century
recent trends
data mining
user interface
data management
face verification
computing platform
emerging technologies
digital circuits