De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Scalable Hardware Verification with Symbolic Simulation

Scalable Hardware Verification with Symbolic Simulation

af Valeria Bertacco
Scalable Hardware Verification with Symbolic Simulation af Valeria Bertacco
Bag om Scalable Hardware Verification with Symbolic Simulation

This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780387244112
  • Indbinding:
  • Hardback
  • Sideantal:
  • 180
  • Udgivet:
  • 21. december 2005
  • Udgave:
  • 2006
  • Størrelse:
  • 234x156x12 mm.
  • Vægt:
  • 460 g.
  • 8-11 hverdage.
  • 9. december 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Valeria Bertacco

Vis alle bøger af Valeria Bertacco

Beskrivelse af Scalable Hardware Verification with Symbolic Simulation

This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design.

Brugerbedømmelser af Scalable Hardware Verification with Symbolic Simulation



Andre købte også..
Find lignende bøger
Bogen Scalable Hardware Verification with Symbolic Simulation findes i følgende kategorier: