Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verifi... (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Elektronik: kredse og komponenter
  5. Indbyggede systemer
  6. Dataarkitektur og logisk design
  7. Versatile Hardware Analysis Techniques: From Waveform-based...

Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification

(Bog, Hardback, Engelsk)
Forfattere: Lucas Klemmer, Daniel Große
Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification
Forlag: Springer International Publishing AG

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

Dataarkitektur og logisk design Elektronik: kredse og komponenter Indbyggede systemer
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

The book covers processor verification, formal microcode verification, programmable automated waveform analysis demonstrated for a large variety of previously manual analysis tasks, as well as netlist optimization leveraging formal methods.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Forfattere Lucas Klemmer, Daniel Große
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 07-03-2025
Første udgivelsesår 2025
Illustrationer 25 Illustrations, color; 13 Illustrations, black and white
Originalsprog Switzerland
Sideantal 190
Indbinding Hardback
Forlag Springer International Publishing AG
Sideoplysninger 190 pages, 25 Illustrations, color; 13 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783031830921