LIBROS DEL AUTOR: valeria bertacco

5 resultados para LIBROS DEL AUTOR: valeria bertacco

valeria bertacco Eliminar filtro Quitar filtros
  • Post-Silicon and Runtime Verification for Modern Processors
    Ilya Wagner / Valeria Bertacco
    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 verification, particularly current post-silicon methodologies in use in the industry, both for the domain of processor pipeline design and for memory subsystems. They then dive into the pr...
    Disponible

    206,56 €

  • Scalable Hardware Verification with Symbolic Simulation
    Valeria Bertacco
    Design and Verification of Digital Systems.- Symbolic Simulation.- Compacting Intermediate States.- Approximate Simulation.- Exact Parametrizations.- Conclusion. ...
    Disponible

    146,64 €

  • Functional Design Errors in Digital Circuits
    Igor L. Markov / Kai-hui Chang / Valeria Bertacco
    Dedication. List of Figures. List of Tables. Preface. Part I Background and Prior Art. 1. INTRODUCTION. 1.1 Design Trends and Challenges. 1.2 State of the Art. 1.3 Our Approach. 1.4 Key Innovations and Book Outline. 2. CURRENT LANDSCAPE IN DESIGN AND VERIFICATION. 2.1 Front-End Design. 2.2 Back-End Logic Design. 2.3 Back-End Physical Design. 2.4 Post-Silicon Debugging. 3. FINDI...
    Disponible

    195,70 €

  • Functional Design Errors in Digital Circuits
    Igor L. Markov / Kai-hui Chang / Valeria Bertacco
    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) all the way to the silicon die. In particular, this book describes: (1) techniques for bug trace minimization that simplify debugging; (2) an RTL error diagnosis method that identifie...
    Disponible

    206,65 €

  • Scalable Hardware Verification with Symbolic Simulation
    Valeria Bertacco
    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. Formal Verification: Scalable Hardware Verification with Symbolic Simulation expl...
    Disponible

    182,18 €