Related Books

Post-Silicon and Runtime Verification for Modern Processors
Language: en
Pages: 240
Authors: Ilya Wagner
Categories: Technology & Engineering
Type: BOOK - Published: 2010-11-25 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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 over
Integrated Formal Methods
Language: en
Pages: 390
Authors: Elvira Albert
Categories: Computers
Type: BOOK - Published: 2014-08-29 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in Septemb
Post-silicon Validation and Debug
Language: en
Pages:
Authors: Prabhat Mishra
Categories: COMPUTERS
Type: BOOK - Published: 2019 - Publisher:

DOWNLOAD EBOOK

This book provides a comprehensive coverage of System-on-Chip (SoC) post-silicon validation and debug challenges and state-of-the-art solutions with contributio
Computer Organization and Design RISC-V Edition
Language: en
Pages: 700
Authors: David A. Patterson
Categories: Computers
Type: BOOK - Published: 2017-05-12 - Publisher: Morgan Kaufmann

DOWNLOAD EBOOK

The new RISC-V Edition of Computer Organization and Design features the RISC-V open source instruction set architecture, the first open source architecture desi
Lectures on Runtime Verification
Language: en
Pages: 240
Authors: Ezio Bartocci
Categories: Computers
Type: BOOK - Published: 2018-02-10 - Publisher: Springer

DOWNLOAD EBOOK

The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The vo