Mukul Prasad – författare

Visar alla böcker från författaren Mukul Prasad. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Verification Techniques for System-Level Design

   Av Mukul Prasad, Indradeep Ghosh m. fl.

   E-bok, 2010

   962 kr

   Lägg i varukorg

   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. Simulation has been used for checking the correctness …

2. 

   Verification Techniques for System-Level Design

   Av Masahiro Fujita, Indradeep Ghosh m. fl.

   Inbunden, 2007

   803 kr

   Lägg i varukorg

   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. Simulation has been used for checking the …