Hsiung / Santambrogio / Huang Reconfigurable System Design and Verification

Erscheinungsjahr 2009
ISBN: 978-1-4200-6267-0
Verlag: Taylor & Francis
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

E-Book, Englisch, 268 Seiten

Reconfigurable systems have pervaded nearly all fields of computation and will continue to do so for the foreseeable future. Reconfigurable System Design and Verification provides a compendium of design and verification techniques for reconfigurable systems, allowing you to quickly search for a technique and determine if it is appropriate to the task at hand. It bridges the gap between the need for reconfigurable computing education and the burgeoning development of numerous different techniques in the design and verification of reconfigurable systems in various application domains.

The text explains topics in such a way that they can be immediately grasped and put into practice. It starts with an overview of reconfigurable computing architectures and platforms and demonstrates how to develop reconfigurable systems. This sets up the discussion of the hardware, software, and system techniques that form the core of the text. The authors classify design and verification techniques into primary and secondary categories, allowing the appropriate ones to be easily located and compared. The techniques discussed range from system modeling and system-level design to co-simulation and formal verification. Case studies illustrating real-world applications, detailed explanations of complex algorithms, and self-explaining illustrations add depth to the presentation.

Comprehensively covering all techniques related to the hardware-software design and verification of reconfigurable systems, this book provides a single source for information that otherwise would have been dispersed among the literature, making it very difficult to search, compare, and select the technique most suitable. The authors do it all for you, making it easy to find the techniques that fit your system requirements, without having to surf the net or digital libraries to find the candidate techniques and compare them yourself.

Zielgruppe

Students in digital systems, reconfigurable computing and systems, FPGA systems, and engineers and project managers in reconfigurable system design and verification.

Autoren/Hrsg.

Hsiung, Pao-Ann

Santambrogio, Marco D.

Huang, Chun-Hsian

Fachgebiete

• Mathematik | Informatik EDV | Informatik EDV & Informatik Allgemein

Inhaltsverzeichnis

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