Practical design verification
Auteur :
Pradhan, Dhiraj K. / Harris, Ian G.
Éditeur :
Cambridge University Press
ISBN :
9780521859721
Date de publication :
11 juin 2009
Dimensions :
25,4 x 17,7 x 1,7 cm
Poids :
720 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors explain both formal and simulation-based techniques. You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging.