LIBROS DEL AUTOR: valeria bertacco

2 resultados para LIBROS DEL AUTOR: valeria bertacco

valeria bertacco Eliminar filtro Quitar filtros
  • 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 €