Functional verification of dynamically reconfigurable FPGA-based systems - Gong, Lingkan; Diessel, Oliver; SpringerLink (Online service). (Cham Springer International Publishing, 2015)
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.
Electronic reproduction.
Keywords: Field programmable gate arrays; Electronic books