Formal hardware verification: methods and systems in comparison
Auteur :
Kropf, Thomas
ISBN :
9783540634751
Date de publication :
27 août 1997
Dimensions :
23,3 x 15,5 x 2,2 cm
Poids :
719 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
Allemagne
Presenting a survey of a variety of methods and systems for formal hardware verification, this work emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits.