NDLI: Functionally verifying state saving and restoration in dynamically reconfigurable systems

Please wait, while we are loading the content...

Intra-masking dual-rail memory on LUT implementation for tamper-resistant AES on FPGA

CONNECT: re-examining conventional wisdom for designing nocs in the context of FPGAs

The VTR project: architecture and CAD for FPGAs from verilog to routing

Rethinking FPGAs: elude the flexibility excess of LUTs with and-inverter cones

A coarse-grained stream architecture for cryo-electron microscopy images 3D reconstruction

Leveraging latency-insensitivity to ease multiple FPGA design

Multi-ported memories for FPGAs via XOR

A configurable architecture to limit wakeup current in dynamically-controlled power-gated FPGAs

Accelerating short read mapping on an FPGA (abstract only)

Adaptive FPGA-based robotics state machine architecture derived with genetic algorithms (abstract only)

Efficient in-system RTL verification and debugging using FPGAs (abstract only)

Post-silicon debugging targeting electrical errors with patchable controllers (abstract only)

Speedy FPGA-based packet classifiers with low on-chip memory requirements

A performance and energy comparison of FPGAs, GPUs, and multicores for sliding-window applications

Compiling high throughput network processors

Securing netlist-level FPGA design through exploiting process variation and degradation

A cycle-accurate, cycle-reproducible multi-FPGA system for accelerating multi-core processor simulation

A scalable approach for automated precision analysis

OCTAVO: an FPGA-centric processor family

Reducing the cost of floating-point mantissa alignment and normalization in FPGAs

The masala machine: accelerating thread-intensive and explicit memory management programs with dynamically reconfigurable FPGAs (abstract only)

A novel full coverage test method for CLBs in FPGA (abstract only)

Parallel FPGA placement based on individual LUT placement (abstract only)

Algorithm and architecture optimization for large size two dimensional discrete fourier transform (abstract only)

A real-time stereo vision system using a tree-structured dynamic programming on FPGA

A mixed precision Monte Carlo methodology for reconfigurable accelerator systems

Limit study of energy & delay benefits of component-specific routing

Prototype and evaluation of the CoRAM memory architecture for FPGA-based computing

FPGA-accelerated 3D reconstruction using compressive sensing

Optimizing SDRAM bandwidth for custom FPGA loop accelerators

Accelerator compiler for the VENICE vector processor

Timing yield improvement of FPGAs utilizing enhanced architectures and multiple configurations under process variation (abstract only)

Constraint-driven automatic generation of interconnect for partially reconfigurable architectures (abstract only)

Dataflow-driven execution control in a coarse-grained reconfigurable array (abstract only)

Early timing estimation for system-level design using FPGAs (abstract only)

Incremental clustering applied to radar deinterleaving: a parameterized FPGA implementation

Saturating the transceiver bandwidth: switch fabric design on FPGAs

Analyzing and predicting the impact of CAD algorithm noise on FPGA speed performance and power

Reconfigurable architecture and automated design flow for rapid FPGA-based LDPC code emulation

VirtualRC: a virtual FPGA platform for applications and tools portability

FCache: a system for cache coherent processing on FPGAs

A field programmable array core for image processing (abstract only)

Thermal-aware logic block placement for 3D FPGAs considering lateral heat dissipation (abstract only)

OpenCL memory infrastructure for FPGAs (abstract only)

Scalable architecture for 135 GBPS IPv6 lookup on FPGA (abstract only)

X-ORCA: FPGA-based wireless localization in the sub-millimeter range

Impact of FPGA architecture on resource sharing in high-level synthesis

Reliability of a softcore processor in a commercial SRAM-based FPGA

A lean FPGA soft processor built using a DSP block

EmPower: FPGA based emulation of dynamic power management algorithms for multi-core systems on chip (abstract only)

Power-aware FPGA technology mapping for programmable-VT architectures (abstract only)

Operation scheduling and architecture co-synthesis for energy-efficient dataflow computations on FPGAs (abstract only)

Communication visualization for bottleneck detection of high-level synthesis applications

A fast discrete placement algorithm for FPGAs

Functionally verifying state saving and restoration in dynamically reconfigurable systems

FPGA-RR: an enhanced FPGA architecture with RRAM-based reconfigurable interconnects (abstract only)

Functionally verifying state saving and restoration in dynamically reconfigurable systems

Content Provider	ACM Digital Library
Author	Diessel, Oliver Gong, Lingkan
Abstract	Dynamically reconfigurable systems increase design density and flexibility by allowing hardware modules to be swapped at run time. Systems that employ checkpointing, periodic or phased execution, preemptive multitasking and resource defragmentation, may also need to be able to save and restore the state of a module that is being reconfigured. Existing tools verify the functionality of a system that is undergoing reconfiguration. These tools can also be employed if state is accessed using application logic. However, when state is accessed via the configuration port, functional verification is hindered because the FPGA fabric, which mediates the transfer of state between the application logic and the configuration port, is not being simulated. We describe how to efficiently simulate those aspects of the fabric that are used in accessing module state. To the best of our knowledge, this work is the first to allow cycle-accurate simulation of a system partially reconfiguring both its logic and state and a case study shows that our method is effective in detecting device independent design errors.
Starting Page	241
Ending Page	244
Page Count	4
File Format	PDF
ISBN	9781450311557
DOI	10.1145/2145694.2145735
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2012-02-22
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Dynamically reconfigurable systems Fpga State saving and restoration Verification
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Simulation-based functional verification of dynamically reconfigurable systems

Functional verification of dynamically reconfigurable FPGA-based systems

Functional Verification of Dynamically Reconfigurable FPGA-based Systems

Modeling Dynamically Reconfigurable Systems for Simulation-Based Functional Verification

Timing verification of dynamically reconfigurable logic for the xilinx virtex FPGA series

Hardware multitasking in dynamically partially reconfigurable FPGA-based embedded systems

Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata

Verification of dynamically reconfigurable embedded systems by model transformation rules

Timing verification of dynamically reconfigurable logic for the xilinx virtex fpga series (2002).

Functionally verifying state saving and restoration in dynamically reconfigurable systems

Similar Documents

Simulation-based functional verification of dynamically reconfigurable systems

Functional verification of dynamically reconfigurable FPGA-based systems

Functional Verification of Dynamically Reconfigurable FPGA-based Systems

Modeling Dynamically Reconfigurable Systems for Simulation-Based Functional Verification

Timing verification of dynamically reconfigurable logic for the xilinx virtex FPGA series

Hardware multitasking in dynamically partially reconfigurable FPGA-based embedded systems

Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata

Verification of dynamically reconfigurable embedded systems by model transformation rules

Timing verification of dynamically reconfigurable logic for the xilinx virtex fpga series (2002).

Functionally verifying state saving and restoration in dynamically reconfigurable systems