Formal Verification of Structurally Complex Multipliers (Bog, Paperback / softback, Engelsk) af Alireza Mahzoon
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Elektronik: kredse og komponenter
  5. Matematik til informatikfag
  6. Indbyggede systemer
  7. Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers

(Bog, Paperback / softback, Engelsk)
Forfattere: Alireza Mahzoon, Daniel Große, Rolf Drechsler
Formal Verification of Structurally Complex Multipliers
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

Elektronik: kredse og komponenter Indbyggede systemer Matematik til informatikfag
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Forfattere Alireza Mahzoon, Daniel Große, Rolf Drechsler
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2023 ed.
Udgivelsesdato 16-02-2024
Første udgivelsesår 2024
Illustrationer 23 Illustrations, color; 13 Illustrations, black and white
Originalsprog Switzerland
Sideantal 130
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 130 pages, 23 Illustrations, color; 13 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783031245732