275 search results - page 2 / 55 » Examples of Models of the Asynchronous Circuits |
ICCAD
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...
DAC
1996
ACM
13 years 9 months ago
1996
ACM
We offer a technique to partition a centralized control-flow graph to obtain distributed control in the context of asynchronous highlevel synthesis. The technique targets Huffman-...
ENTCS
2010
13 years 5 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
The paper studies the relatively inertial delays that represent one of the most important concepts in the modeling of the asynchronous circuits.
TVLSI
2010
12 years 12 months ago
2010
A method is described for synthesizing asynchronous circuits based on the Handshake Circuit paradigm but employing a data-driven, rather than a control-driven, style. This approach...