{"product_id":"9783319068374","title":"Functional Verification of Dynamically Reconfigurable FPGA-based Systems","description":"\u003ch1\u003eFunctional Verification of Dynamically Reconfigurable FPGA-based Systems\u003c\/h1\u003e \u003ch2\u003eGong, Lingkan; Diessel, Oliver\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis 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.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2014-10-27\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9783319068374\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-319-06838-1\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 216\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":47410577244300,"sku":"9783319068374","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783319068374.jpg?v=1775838120","url":"https:\/\/lateknightbooks.com\/products\/9783319068374","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}