Illustration

Biographie et livres de Mukul Prasad

Découvrez tout l'univers de l'auteur en livre numérique
Mukul Prasad:Mukul Prasad received the Bachelor of Technology degree in Electrical Engineering from the Indian Institute of Technology, Delhi, India, in 1995, and the Ph.D. degree in Electrical Engineering & Computer Sciences from the University of California at Berkeley in 2001. Since 2001 he has been a member of the research staff in the Trusted Systems Innovation group at Fujitsu Laboratories of America in Sunnyvale, California. His doctoral thesis and his subsequent research has involved the
Découvrez tous ses livres

Dernière parution

Téléchargez le livre : Verification Techniques for System-Level Design
Ajouter à ma liste d'envies
Verification Techniques for System-Level Design

Masahiro Fujita , Indradeep Ghosh , Mukul Prasad

Morgan Kaufmann

2010-07-27

PDF sans DRM

This book will explain how to verify SoC (Systems on Chip) logic designs using "formal and "semiformal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended....

88,74 €

Lire plus

Tous les ebooks de Mukul Prasad en PDF


 

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés