Introduction to formal hardware verification
Auteur :
Kropf, Thomas
Éditeur :
Kropf, Thomas
ISBN :
9783540654452
Date de publication :
16 oct. 1999
Dimensions :
22,9 x 15,2 x 1,9 cm
Poids :
615 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
Allemagne
Presenting an overview of techniques for hardware verification, this book covers various approaches, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking. It also introduces the use of higher-order logic theorem proving for verifying circuit correctness.