Free Delivery Over $100
|
|
|||
|
||||
OverviewThis 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 characteristic features of reconfiguration. Readers are enabled with this simulation-only layer to maintain verification productivity by abstracting away the physical details of the FPGA fabric. Two implementations of the simulation-only layer are included: Extended Re Channel is a System C library that can be used to check DRS designs at a high level; ReSim is a library to support RTL simulation of a DRS reconfiguring both its logic and state. Through a number of case studies, the authors demonstrate how their approach integrates seamlessly with existing, mainstream DRS design flows and with well-established verification methodologies such as top-down modeling and coverage-driven verification. Full Product DetailsAuthor: Lingkan Gong , Oliver DiesselPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 2015 ed. Dimensions: Width: 15.50cm , Height: 1.40cm , Length: 23.50cm Weight: 5.287kg ISBN: 9783319068374ISBN 10: 3319068377 Pages: 216 Publication Date: 27 October 2014 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand  We will order this item for you from a manufactured on demand supplier. Table of ContentsIntroduction.- 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
