1st Edition
Reconfigurable System Design and Verification
Introduction
to Reconfigurable Computing
Why Reconfigurable Computing?
What is Reconfiurable Computing?
From Codesign to Reconfiguration
Reconfiguration Technology
Reconfiguration Tools and Platforms
Design and Verification Methodologies
Application Examples
FPGA
Technology and Dynamic Reconfiguration
FPGA Overview
The Configuration Bitstream
2.3 FPGA Families and Models
2.4 Configuration Conventions and File Formats
A Bird's Eye View on Reconfigurable Systems
Reconfiguration Characterization
Reconfigurable
Hardware Design
Model
Partitioning for Reconfigurable Architectures
Scheduling Techniques
Operating
System for Reconfigurable Systems
Motivation for OS4RS
Requirements for OS4RS
Layered Architecture for OS4RS
OS4RS Examples
Dynamic
Reconfigurable Systems Design Flows
System Design Flows
Reconfigurable System Design Flow: Structure and Implementation
The hardware Side of the Ddesign Flow
Reconfigurable
System Verification
System-Level Verification Techniques
Hardware-Software Coverification
Reconfigurable System Simulation Frameworks
Perfecto Framework
Dynamically
Partially Reconfigurable System Design Implementation
Partial Reconfiguration on Xilinx Virtex Family FPGAs
Early Access Partial Reconfiguration Design Flow
Creating Partially Reconfigurable Hardware Design
Software-Controlled Partially Reconfigurable Design
Operating System for Reconfigurable Systems
References
Biography
Pao-Ann Hsiung, Marco D. Santambrogio, Chun-Hsian Huang
