64 search results - page 2 / 13 » Hierarchical Optimization of Asynchronous Circuits |
ICCAD
2003
IEEE
14 years 1 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...
ICCAD
1998
IEEE
13 years 7 months ago
1998
IEEE
This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...
ASPDAC
2007
ACM
13 years 8 months ago
2007
ACM
DAC
1998
ACM
13 years 8 months ago
1998
ACM
We present a technique for synthesizing power- as well as area-optimized circuits from hierarchical data flow graphs under throughput constraints. We allow for the use of complex...
ASYNC
1998
IEEE
13 years 8 months ago
1998
IEEE
We describe an automated method (3D-map) for determining near-optimal decomposed generalized C-element (gC) implementations of extended burst-mode asynchronous controllers. Averag...