275 search results - page 1 / 55 » Examples of Models of the Asynchronous Circuits |
CORR
2004
Springer
13 years 4 months ago
2004
Springer
The notion of limit condition that we propose is a generalization of the delay condition [1], [2], including the models of the delay circuits, of the C elements of Muller and of t...
VLSI
2005
Springer
13 years 10 months ago
2005
Springer
Quasi delay insensitive circuits are functionally independent of delays in gates and wires (except for some particular wires). Such asynchronous circuits offer high robustness but...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
The asynchronous systems f are the models of the asynchronous circuits from digital electrical engineering. They are multi-valued functions that associate to each input u : R {0, ...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
: The asynchronous systems are the models of the asynchronous circuits from the digital electrical engineering. An asynchronous system f is a multi-valued function that assigns to ...
LICS
1996
IEEE
13 years 9 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...