High-level verification: methods and tools for verification of system-level designs
Auteur :
Kundu, Sudipta / Lerner, Sorin / Gupta, Rajesh K.
Éditeur :
Springer-Verlag New York Inc.
ISBN :
9781441993588
Date de publication :
30 mai 2011
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
USA
The verification techniques presented in this book include methods for verifying properties of high-level designs and methods for verifying that the translation from high-level design to a low-level Register Transfer Language (RTL) design preserves semantics.