valeria bertacco
Scalable Hardware Verification with Symbolic Simulation
EbookSofort lieferbarScalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic ...
Post-Silicon and Runtime Verification for Modern Processors
EbookSofort lieferbarPost-Silicon and Run-Time Verification for Modern Processors surveys the state of the art and evo...
Functional Design Errors in Digital Circuits
EbookSofort lieferbarDue to the dramatic increase in design complexity, modern circuits are often produced with functi...
Hardware and Software: Verification and Testing
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 9th International Haifa Verification Confer...
Post-Silicon and Runtime Verification for Modern Processors
TaschenbuchBezug 11-15The purpose of this book is to survey the state of the art and evolving directions in post-sil...
Post-Silicon and Runtime Verification for Modern Processors
BuchBezug 11-15The purpose of this book is to survey the state of the art and evolving directions in post-sil...
Functional Design Errors in Digital Circuits
TaschenbuchBezug 11-15Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of inno...
Functional Design Errors in Digital Circuits
BuchBezug 11-15Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of inno...
Scalable Hardware Verification with Symbolic Simulation
TaschenbuchBezug 11-15Scalable Hardware Verification with Symbolic Simulation presents recent advan...
Hardware and Software: Verification and Testing
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 9th International Haifa Verification Confer...
- 1