235 search results - page 36 / 47 » On the Inertia of the Asynchronous Circuits |
IFIP
1999
Springer
15 years 4 months ago
1999
Springer
: This paper presents a synthesis algorithm for pipelined circuits. The circuit is specified as a collection of independent, looselycoupled modules connected by queues. The synthe...
ICCD
2004
IEEE
15 years 8 months ago
2004
IEEE
Abstract— This paper proposes a technique for creating a combinational logic network with an output that signals when all other outputs have stabilized. The method is based on du...
ACSD
2009
IEEE
15 years 6 months ago
2009
IEEE
Asynchronous and latency-insensitive circuits offer a similar form of elasticity that tolerates variations in the delays of communication resources of a system. This flexibility ...
ISCAS
2006
IEEE
15 years 5 months ago
2006
IEEE
We present measured frequency-gain functions and the spike rate outputs of the different sections in a spiking silicon cochlea chip. The chip consists of a matched pair of silicon...
110
click to vote
CONCUR
2001
Springer
15 years 4 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....