DSD 2002 | Sciweavers

28

DSD
2002
IEEE

93views Hardware» more DSD 2002»

Fault Latencies of Concurrent Checking FSMs

14 years 5 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 »

31

click to vote

DSD
2002
IEEE

83views Hardware» more DSD 2002»

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

14 years 5 months ago

Download cadal.cse.nsysu.edu.tw

Domingo Benitez

claim paper

Read More »

28

click to vote

DSD
2002
IEEE

86views Hardware» more DSD 2002»

Using Formal Tools to Study Complex Circuits Behaviour

14 years 5 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 »

25

click to vote

DSD
2002
IEEE

97views Hardware» more DSD 2002»

Recursive Bi-Partitioning of Netlists for Large Number of Partitions

14 years 5 months ago