Functional Verification of Dynamically Reconfigurable FPGA-based Systems - Image 1

£75.84

Springer Functional Verification of Dynamically Reconfigurable FPGA-based Systems

Name: Functional Verification of Dynamically Reconfigurable FPGA-based Systems
Brand: Springer
Price: 75.84 GBP
Availability: InStock

Architecture & Microprocessors

About as cheap as it gets. The only time it was cheaper was 1 year ago.

£76 today · all-time low £74 (Feb 2025) · usually the usual

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 636 days • 636 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 636 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £74 (326 days, 51.3%)

Price range: £74 - £90

Price levels: 4 different prices over 636 days

Description

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 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. From the Back Cover 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. …).

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3319380869
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 23 August 2016
Listed Since: 28 July 2016

Barcode

No barcode data available

Springer Functional Verification of Dynamically Reconfigurable FPGA-based Systems

About as cheap as it gets. The only time it was cheaper was 1 year ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Reconfigurable System Design and Verification

Digital Design and Modeling with VHDL and Synthesis: 20 (Systems)

Digital Design and Computer Architecture

RTL Hardware Design Using VHDL: Coding for Efficiency, Portability, and Scalability (IEEE Press)

Logic Design and Verification Using SystemVerilog (Revised)

Design of Reconfigurable Logic Controllers: 45 (Studies in Systems, Decision and Control)

Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)

Digital System Design with FPGA: Implementation Using Verilog and VHDL (ELECTRONICS)

Digital VLSI Design and Simulation with Verilog

Digital Design Essentials and Xilinx 4.2i Package: United States Edition

Mastering Verilog for FPGA Design: From Fundamentals to Advanced Digital Systems (Maker Innovations Series)

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features

Energy Efficient Hardware-Software Co-Synthesis Using Reconfigurable Hardware (Chapman & Hall/CRC Computer and Information Science Series)

RTL Modeling with SystemVerilog for Simulation and Synthesis: Using SystemVerilog for ASIC and FPGA Design

Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog

Digital Design and Computer Architecture, RISC-V Edition: RISC-V Edition

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

Energy Efficient Hardware-Software Co-Synthesis Using Reconfigurable Hardware (Chapman & Hall/CRC Computer and Information Science Series)

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

Basic VLSI Design Technology: Technical Questions and Solutions (River Publishers Series in Circuits and Systems)

Circuit Design with VHDL (The MIT Press)

Advanced ASIC Chip Synthesis: Using Synopsys® Design Compiler™ Physical Compiler™ and PrimeTime®

Advanced ASIC Chip Synthesis: Using Synopsys® Design Compiler™ Physical Compiler™ and PrimeTime®