By Lingkan Gong,Oliver Diessel

This e-book analyzes the demanding situations in verifying Dynamically Reconfigurable platforms (DRS) with appreciate to the consumer layout and the actual implementation of such platforms. The authors describe using a simulation-only layer to emulate the habit of objective FPGAs and competently version the attribute gains of reconfiguration. Readers are enabled with this simulation-only layer to keep up verification productiveness via abstracting away the actual information of the FPGA cloth. implementations of the simulation-only layer are integrated: prolonged Re Channel is a process C library that may be used to examine DRS designs at a excessive point; ReSim is a library to help RTL simulation of a DRS reconfiguring either its common sense and kingdom. via a few case experiences, the authors exhibit how their method integrates seamlessly with present, mainstream DRS layout flows and with well-established verification methodologies equivalent to top-down modeling and coverage-driven verification.

Show description

Read Online or Download Functional Verification of Dynamically Reconfigurable FPGA-based Systems PDF

Similar systems architecture books

Open Text Metastorm ProVision® 6.2 Strategy Implementation

This can be either a pragmatic and theoretical consultant detailing find out how to set up a winning ProVision® technique, utilizing a few genuine company circumstances alongside the way in which. in contrast to different structure books, the procedure is holistic - it seems to be on the entire lifecycle of establishing a company case, via to utilizing the product.

SystemC and SystemC-AMS in Practice: SystemC 2.3, 2.2 and SystemC-AMS 1.0

This e-book describes how engineers could make optimal use of the 2 normal analysis/design instruments, SystemC and SystemC-AMS.  The authors use a system-level layout method, emphasizing how SystemC and SystemC-AMS gains might be exploited such a lot successfully to analyze/understand a given digital approach and discover the layout area.

HSPA Evolution: The Fundamentals for Mobile Broadband

This publication is key studying for these wishing to acquire a structures standpoint and a wide view at the history, functionality and alertness of the most recent advancements in HSPA within the context of the calls for on today’s cellular broadband units and networks. It takes the reader behind the curtain of 3GPP and gives an simply obtainable knowing of the fundamental ideas, the most recent steps within the standard’s evolution, and the motivations in the back of the improvement of standardized positive factors.

Formal Specification Level: Concepts, Methods, and Algorithms

This e-book introduces a brand new point of abstraction that closes the space among the textual specification of embedded platforms and the executable version on the digital approach point (ESL). Readers can be enabled to function at this new, Formal Specification point (FSL), utilizing versions which not just permit major verification initiatives during this early degree of the layout movement, but additionally might be extracted semi-automatically from the textual specification in an interactive demeanour.

Extra info for Functional Verification of Dynamically Reconfigurable FPGA-based Systems

Sample text

Download PDF sample

Rated 4.02 of 5 – based on 35 votes