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

ABSTRACT

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.

REFERENCES

• 1: J. Cortadella, A. Kondratyev, L. Lavagno, C. Sotiriou, "A Concurrent Model for Desynchronization," IWLS 2003.
• 2: J. P. Uyemura, "VLSI clocking and System Design" in Introduction to VLSI Circuits and Systems John Wiley & Sons, 2002.
• 3: Jan M. Rabaey, Digital integrated circuits: a design perspective, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
• 4: A. Benveniste, L. Carloni, P. Caspi, A. Sangiovanni-Vincentelli. "Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment." Proceedings of EmSoft 2003.
• 5: D. Chinnery and K. Keutzer, "Reducing the Timing Overhead," in Closing the Gap between ASIC and Custom: Tools and techniques for High-Performance ASIC design Kluwer Academic Publishers, 2002.
• 6: T A Chu, On the models for designing VLSI asynchronous digital systems, Integration, the VLSI Journal, v.4 n.2, p.99-113, June 1986 [doi>10.1016/S0167-9260(86)80002-5]
• 7: T. Murata, "Petri Nets: Properties, analysis and applications," Proceedings of the IEEE, pp. 541--580, Apr. 1989.
• 8: I. E. Sutherland, Micropipelines, Communications of the ACM, v.32 n.6, p.720-738, June 1989 [doi>10.1145/63526.63532]
• 9: Steven M. Burns , Henrik Hulgaard , Tod Amon , Gaetano Borriello, An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems, IEEE Transactions on Computers, v.44 n.11, p.1306-1317, November 1995 [doi>10.1109/12.475126]
• 10: R.M. Cormack, A review of classification (with Discussion). J. Roy. Stat. Soc. A 134:321--367, 1971.

INDEX TERMS

Primary Classification:
  J. Computer Applications
  J.6 COMPUTER-AIDED ENGINEERING
      Subjects: Computer-aided design (CAD)

General Terms:
Algorithms, Design, Experimentation, Performance

Keywords:
clustering, desynchronization, separation analysis