Sciweavers

Share
DAC
2004
ACM

The best of both worlds: the efficient asynchronous implementation of synchronous specifications

10 years 6 days ago
The best of both worlds: the efficient asynchronous implementation of synchronous specifications
The desynchronization approach combines a traditional synchronous specification style with a robust asynchronous implementation model. The main contribution of this paper is the description of two optimizations that decrease the overhead of desynchronization. First, we investigate the use of clustering to vary the granularity of desynchronization. Second, by applying temporal analysis on a formal execution model of the desynchronized design, we uncover significant amounts of timing slack. These methods are successfully applied to industrial RTL designs. Categories and Subject Descriptors J.6 [Computer-Aided Engineering]: Computer-aided design (CAD) General Terms Algorithms, Performance, Design, Experimentation Keywords Desynchronization, Separation Analysis, Clustering
Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Albe
Added 13 Nov 2009
Updated 13 Nov 2009
Type Conference
Year 2004
Where DAC
Authors Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Alberto L. Sangiovanni-Vincentelli
Comments (0)
books