High-Level Verification: Methods and Tools for Verification of System-Level Designs (Bog, Hardback, Engelsk) af Sudipta Kundu
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Elektronik: kredse og komponenter
  5. Teknisk design
  6. High-Level Verification: Methods and Tools for Verification of...

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

(Bog, Hardback, Engelsk)
Forfattere: Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
Forlag: Springer-Verlag New York Inc.

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Elektronik: kredse og komponenter Teknisk design
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag New York Inc.
Forfattere Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
Type Bog
Format Hardback
Sprog Engelsk
Udgave 2011 ed.
Udgivelsesdato 30-05-2011
Første udgivelsesår 2011
Illustrationer XIII, 167 p.
Originalsprog United States
Sideantal 167
Indbinding Hardback
Forlag Springer-Verlag New York Inc.
Sideoplysninger 167 pages, XIII, 167 p.
Mål 247 x 163 x 17
ISBN-13 / EAN-13 9781441993588