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

Proceedings - Design Automation Conference

Volumn , Issue , 2004, Pages 588-591

  Davare, Abhijit ^a   Lwin, Kelvin ^b   Kondratyev, Alex ^b   Sangiovanni Vincentelli, Alberto ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b CADENCE DESIGN SYSTEMS   (United States)

Author keywords

Clustering; Desynchronization; Separation Analysis

Indexed keywords

CLUSTERING ALGORITHMS; DESYNCHRONIZATION; LOGIC SYNTHESIS; SEPARATION ANALYSIS;

ALGORITHMS; COMMUNICATION SYSTEMS; COMPUTER AIDED DESIGN; LOGIC DESIGN; MATHEMATICAL MODELS; OPTIMIZATION; SWITCHING; SYNCHRONIZATION;

INTEGRATED CIRCUIT LAYOUT;

EID: 4444282830     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

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. J. Rabaey, A. Chandrakasan, B. Nikolic, "Digital Integrated Circuits - Second Edition," Prentice Hall, 2003.
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. Chu, Tam-Anh, "On the Models for Designing VLSI Asynchronous Digital Circuits," Integration, 4(2):99-113", June 1986.
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 IEEE, Volume 32, Number 6, 1989.
9. H. Hulgaard, S. M. Burns, T. Amon, and G. Bordello, "An algorithm for exact bounds on the time separation of events in concurrent systems," IEEE Transactions on Computers, 44(11):1306-1317, November 1995.
10. R.M. Cormack, A review of classification (with Discussion). J. Roy. Stat. Soc. A 134:321-367, 1971.