hardware | Sciweavers

33

FPGA
2005
ACM

105views FPGA» more FPGA 2005»

Soft error rate estimation and mitigation for SRAM-based FPGAs

14 years 2 months ago

FPGA-based designs are more susceptible to single-event upsets (SEUs) compared to ASIC designs. Soft error rate (SER) estimation is a crucial step in the design of soft error tole...

Ghazanfar Asadi, Mehdi Baradaran Tahoori

claim paper

Read More »

35

click to vote

FPGA
2005
ACM

107views FPGA» more FPGA 2005»

Instruction set extension with shadow registers for configurable processors

14 years 2 months ago

Download cadlab.cs.ucla.edu

Configurable processors are becoming increasingly popular for modern embedded systems (especially for the field-programmable system-on-a-chip). While steady progress has been made...

Jason Cong, Yiping Fan, Guoling Han, Ashok Jaganna...

claim paper

Read More »

26

click to vote

FPGA
2005
ACM

174views FPGA» more FPGA 2005»

64-bit floating-point FPGA matrix multiplication

14 years 2 months ago

Download ce.et.tudelft.nl

We introduce a 64-bit ANSI/IEEE Std 754-1985 ﬂoating point design of a hardware matrix multiplier optimized for FPGA implementations. A general block matrix multiplication algor...

Yong Dou, Stamatis Vassiliadis, Georgi Kuzmanov, G...

claim paper

Read More »

24

click to vote

CHARME
2005
Springer

124views Hardware» more CHARME 2005»

Finding and Fixing Faults

14 years 2 months ago

Download mtc.epfl.ch

Stefan Staber, Barbara Jobstmann, Roderick Bloem

claim paper

Read More »

23

click to vote

CHARME
2005
Springer

120views Hardware» more CHARME 2005»

Minimizing Counterexample of ACTL Property

14 years 2 months ago

Download www.ssypub.org

ShengYu Shen, Ying Qin, Sikun Li

claim paper

Read More »

26

click to vote

CHARME
2005
Springer

136views Hardware» more CHARME 2005»

Predictive Reachability Using a Sample-Based Approach

14 years 2 months ago

Download www.stanford.edu

Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suﬀer from lack of robustness ...

Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer,...

claim paper

Read More »

25

click to vote

CHARME
2005
Springer

170views Hardware» more CHARME 2005»

Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification

14 years 2 months ago

Download www.cs.utah.edu

Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrish...

claim paper

Read More »

24

click to vote

CHARME
2005
Springer

119views Hardware» more CHARME 2005»

High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design

14 years 2 months ago

Download www.cesnet.cz

Petr Matousek, Ales Smrcka, Tomás Vojnar

claim paper

Read More »

32

click to vote

CHARME
2005
Springer

130views Hardware» more CHARME 2005»

Improvements to the Implementation of Interpolant-Based Model Checking

14 years 2 months ago

Download eprints.ecs.soton.ac.uk

The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...

João P. Marques Silva

claim paper

Read More »

23

click to vote

CHARME
2005
Springer

124views Hardware» more CHARME 2005»

A Parameterized Benchmark Suite of Hard Pipelined-Machine-Verification Problems

14 years 2 months ago