Digital System Verification: A Combined Formal Methods and Simulation Framework (Bog, Paperback / softback, Engelsk) af Lun Li
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Elektronik: kredse og komponenter
  5. Automatisk styringsteknik og...
  6. Ingeniørvidenskab: generelt
  7. Computere og hardware
  8. Digital System Verification: A Combined Formal Methods and...

Digital System Verification: A Combined Formal Methods and Simulation Framework

(Bog, Paperback / softback, Engelsk)
Forfattere: Lun Li, Mitchel Thornton
Digital System Verification: A Combined Formal Methods and Simulation Framework
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

Automatisk styringsteknik og reguleringsteknik Computere og hardware Elektronik: kredse og komponenter Ingeniørvidenskab: generelt
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Forfattere Lun Li, Mitchel Thornton
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 18-02-2010
Første udgivelsesår 2010
Serie Synthesis Lectures on Digital Circuits & Systems
Illustrationer XIV, 79 p.
Originalsprog Switzerland
Sideantal 79
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 79 pages, XIV, 79 p.
Mål 235 x 191
ISBN-13 / EAN-13 9783031798146