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
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....

78,02 €

En savoir plus

Tous les livres numériques de Mukul Prasad en PDF

Aucun livre trouvé avec ces critères.