{"product_id":"functional-verification-of-dynamically-reconfigurable-fpga-based-systems-von-oliver-diessel-lingkan-gong","title":"Functional Verification of Dynamically Reconfigurable FPGA-based Systems","description":"\n                                \n                \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\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319380865\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319068374\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783319380865","offer_id":39426424963165,"sku":"9783319380865","price":106.99,"currency_code":"EUR","in_stock":true},{"title":"Hardcover - 9783319068374","offer_id":40562733776989,"sku":"9783319068374","price":106.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/df8e1e9b-0da0-4b22-8ed9-8d453b8ed768.jpg?v=1775279856","url":"https:\/\/shop.autorenwelt.de\/products\/functional-verification-of-dynamically-reconfigurable-fpga-based-systems-von-oliver-diessel-lingkan-gong","provider":"Autorenwelt Shop","version":"1.0","type":"link"}