Please use this identifier to cite or link to this item: http://localhost:80/handle/Hannan/60767
Title: Functional Verification of Dynamically Reconfigurable FPGA-based Systems
Authors: Gong, Lingkan.;Diessel, Oliver.
subject: Engineering;Computer Science;Systems engineering.;Engineering;Circuits and Systems.;Processor Architectures.;Electronic Circuits and Devices.;TK7888.4
Year: 2015
place: Cham
Publisher: Springer International Publishing :.
Imprint: Springer,
Abstract: 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 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 ReChannel is a SystemC 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. Provides researchers with an in-depth understanding of the challenges in verifying dynamically reconfigurable systems and the state-of-the-art methods used to overcome them Guides engineers with systematic approaches and tools to achieve verification closure in their dynamically reconfigurable projects Includes a comprehensive set of case studies, with an analysis of real bugs detected in the designs described Uses tools and techniques compatible with mainstream products (e.g. Xilinx/Altera tools, ModelSim simulator, Verilog/VHDL design language, etc. ).
Description: Printed edition: 9783319068374.
URI: http://46.100.53.162/handle/Ebook/60767
ISBN: 9783319068381.
9783319068374 (print)
Appears in Collections:مهندسی برق

Files in This Item:
File Description SizeFormat 
9783319068381.pdf6.15 MBAdobe PDFThumbnail
Preview File
Title: Functional Verification of Dynamically Reconfigurable FPGA-based Systems
Authors: Gong, Lingkan.;Diessel, Oliver.
subject: Engineering;Computer Science;Systems engineering.;Engineering;Circuits and Systems.;Processor Architectures.;Electronic Circuits and Devices.;TK7888.4
Year: 2015
place: Cham
Publisher: Springer International Publishing :.
Imprint: Springer,
Abstract: 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 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 ReChannel is a SystemC 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. Provides researchers with an in-depth understanding of the challenges in verifying dynamically reconfigurable systems and the state-of-the-art methods used to overcome them Guides engineers with systematic approaches and tools to achieve verification closure in their dynamically reconfigurable projects Includes a comprehensive set of case studies, with an analysis of real bugs detected in the designs described Uses tools and techniques compatible with mainstream products (e.g. Xilinx/Altera tools, ModelSim simulator, Verilog/VHDL design language, etc. ).
Description: Printed edition: 9783319068374.
URI: http://46.100.53.162/handle/Ebook/60767
ISBN: 9783319068381.
9783319068374 (print)
Appears in Collections:مهندسی برق

Files in This Item:
File Description SizeFormat 
9783319068381.pdf6.15 MBAdobe PDFThumbnail
Preview File
Title: Functional Verification of Dynamically Reconfigurable FPGA-based Systems
Authors: Gong, Lingkan.;Diessel, Oliver.
subject: Engineering;Computer Science;Systems engineering.;Engineering;Circuits and Systems.;Processor Architectures.;Electronic Circuits and Devices.;TK7888.4
Year: 2015
place: Cham
Publisher: Springer International Publishing :.
Imprint: Springer,
Abstract: 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 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 ReChannel is a SystemC 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. Provides researchers with an in-depth understanding of the challenges in verifying dynamically reconfigurable systems and the state-of-the-art methods used to overcome them Guides engineers with systematic approaches and tools to achieve verification closure in their dynamically reconfigurable projects Includes a comprehensive set of case studies, with an analysis of real bugs detected in the designs described Uses tools and techniques compatible with mainstream products (e.g. Xilinx/Altera tools, ModelSim simulator, Verilog/VHDL design language, etc. ).
Description: Printed edition: 9783319068374.
URI: http://46.100.53.162/handle/Ebook/60767
ISBN: 9783319068381.
9783319068374 (print)
Appears in Collections:مهندسی برق

Files in This Item:
File Description SizeFormat 
9783319068381.pdf6.15 MBAdobe PDFThumbnail
Preview File