valeria bertacco
Scalable Hardware Verification with Symbolic Simulation
DigitalSofort lieferbarPSTRONG Scalable Hardware Verification with Symbolic SimulationSTRONGpresents recent advan...
Post-Silicon and Runtime Verification for Modern Processors
DigitalSofort lieferbarP The purpose of this book is to survey the state of the art and evolving directions in post-sil...
Functional Design Errors in Digital Circuits
DigitalSofort lieferbarPEM Functional Design Errors in Digital Circuits DiagnosisEMcovers a wide spectrum of inno...
Post-Silicon and Runtime Verification for Modern Processors
TaschenbuchPrint on DemandThe purpose of this book is to survey the state of the art and evolving directions in post-silico...
Post-Silicon and Run-Time Verification for Modern Processors
BuchPrint on DemandInhaltsangabeVerification of a Modern Processor.- The Verification Universe.- Test Generation and...
Formal Verification
BuchPrint on DemandThis book is intended as an innovative overview of current formal verification methods, combined ...
Functional Design Errors in Digital Circuits
TaschenbuchPrint on DemandFunctional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative metho...
Functional Design Errors in Digital Circuits
BuchPrint on DemandFunctional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative metho...
Hardware and Software: Verification and Testing
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 9th International Haifa Verification Confer...
Scalable Hardware Verification with Symbolic Simulation
TaschenbuchPrint on DemandInhaltsangabeDesign and Verification of Digital Systems.- Symbolic Simulation.- Compacting Interm...
- 1