论文信息 - The best of both worlds: the efficient asynchronous implementation of synchronous specifications

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.

Alberto L. Sangiovanni-Vincentelli | Alex Kondratyev | Abhijit Davare | Kelvin Lwin

[1] Tam-Anh Chu. On the models for designing VLSI asynchronous digital systems , 1986, Integr..

[2] Ivan E. Sutherland,et al. Micropipelines , 1989, Commun. ACM.

[3] Luciano Lavagno,et al. A concurrent model for de-synchronization , 2003 .

[4] Alberto L. Sangiovanni-Vincentelli,et al. Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment , 2003, EMSOFT.

[5] Kurt Keutzer,et al. Reducing the Timing Overhead , 2004 .

[6] Gaetano Borriello,et al. An algorithm for exact bounds on the time separation of events in concurrent systems , 1993, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.

[7] David G. Chinnery,et al. Closing the Gap Between ASIC and Custom - Tools and Techniques for High-Performance ASIC Design , 2002 .

[8] Gaetano Borriello,et al. An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems , 1995, IEEE Trans. Computers.

[9] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[10] R. M. Cormack,et al. A Review of Classification , 1971 .

[11] Alberto L. Sangiovanni-Vincentelli,et al. Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA) , 2004, EMSOFT '04.