High-Level Verification: Methods and Tools for Verification of System-Level Designs - Sudipta Kundu - Grāmatas - Springer-Verlag New York Inc. - 9781493901012 - 2014. gada 1. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

High-Level Verification: Methods and Tools for Verification of System-Level Designs 2011 edition

Cena
€ 103,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 11. - 19. aug.
Saņemiet paziņojumus par jauniem Sudipta Kundu izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

The verification techniques presented in this book include methods for verifying properties of high-level designs and methods for verifying that the translation from high-level design to a low-level Register Transfer Language (RTL) design preserves semantics.


167 pages, 6 black & white tables, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2014. gada 1. oktobris
ISBN13 9781493901012
Izdevēji Springer-Verlag New York Inc.
Lapas 167
Izmēri 155 × 235 × 10 mm   ·   267 g
Valoda Angļu  

Vairāk no tā paša izdevēja