Functional Verification of Dynamically Reconfigurable FPGA-based Systems

This book analyzes the challenges in verifying Dynamically Reconfigurable Systems (DRS) with respect to the user design and the physical implementation of such systems. The authors describe the use of a simulation-only layer to emulate the behavior of target FPGAs and accurately model the characteri...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Gong, Lingkan (Autor), Diessel, Oliver (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edición:1st ed. 2015.
Temas:
Electronic circuits.
Microprocessors.
Computer architecture.
Electronic Circuits and Systems.
Processor Architectures.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Introduction
  • Verification Challenges
  • Modeling Reconfiguration
  • Getting Started with Verification
  • Case Studies
  • References Designs
  • Conclusions.- Appendix A: Bugs Detected in Case Studies
  • Appendix B: Inside the ReSim Library
  • References.

Ejemplares similares