DSD 2002 | Sciweavers

11

DSD
2002
IEEE

93views Hardware» more DSD 2002»

Fault Latencies of Concurrent Checking FSMs

13 years 9 months ago

In this paper we introduce concepts of a potential fault latency and a real fault latency for Finite State Machines (FSMs). The potential latency defines a minimal value of the po...

Roman Goot, Ilya Levin, Sergei Ostanin

claim paper

Read More »

11

click to vote

DSD
2002
IEEE

83views Hardware» more DSD 2002»

Performance of Remote FPGA-Based Coprocessors for Image-Processing Applications

13 years 9 months ago

Download cadal.cse.nsysu.edu.tw

Domingo Benitez

claim paper

Read More »

11

click to vote

DSD
2002
IEEE

86views Hardware» more DSD 2002»

Using Formal Tools to Study Complex Circuits Behaviour

13 years 9 months ago

Download www-verimag.imag.fr

We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by ﬂip-ﬂops and gates. The...

Paul Amblard, Fabienne Lagnier, Michel Lévy

claim paper

Read More »

9

click to vote

DSD
2002
IEEE

97views Hardware» more DSD 2002»

Recursive Bi-Partitioning of Netlists for Large Number of Partitions

13 years 9 months ago