A light-weight framework for hardware verification.

Christoph Kern Tarik Ono-Tesfaye Mark R. Greenstreet

Published in: Int. J. Softw. Tools Technol. Transf. (2001)

Keyphrases

lightweight
main contribution
hardware and software
conceptual framework
real time
data sets
low cost
communication infrastructure