Enabling Hardware Verification through Design Changes.

Amr T. Abdel-Hamid Sofiène Tahar John Harrison

Published in: ICFEM (2002)

Keyphrases

design process
formal methods
engineering design
case study
embedded systems
real time
database
single chip
functional verification
building blocks
low cost
user interface
neural network
design space
computer architecture
circuit design
hardware design
hardware architecture
real time embedded