Winner of the EDAA (European Design Automation Association) Outstanding Monograph Award in the Verification section. Co-authors Bertacco and Markov are existing Springer authors
3 Ebooks de Valeria Bertacco
Valeria Bertacco: Scalable Hardware Verification with Symbolic Simulation
Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification tech …
PDF
Engleză
€96.29
Kai-hui Chang & Igor L. Markov: Functional Design Errors in Digital Circuits
Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow: from Register-Transfer Level (RTL) al …
PDF
Engleză
€149.79
Ilya Wagner & Valeria Bertacco: Post-Silicon and Runtime Verification for Modern Processors
The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. The authors start by giving an overview of the state of the art in verific …
PDF
Engleză
€149.79
