Performance analysis and optimization of mixed asynchronous synchronous systems

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn 16, Issue 5, 1997, Pages 473-484

  Teich, Jürgen ^a   Thiele, Lothar ^a   Sriram, Sundararajan ^b   Martin, Michael ^b  

^a ETH ZURICH   (Switzerland)

^b TEXAS INSTRUMENTS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED ANALYSIS; GRAPHIC METHODS; INTEGRATED CIRCUIT LAYOUT; MATHEMATICAL MODELS; OPTIMIZATION; POLYNOMIALS; TIMING CIRCUITS;

MIXED ASYNCHRONOUS SYNCHRONOUS SYSTEMS;

DIGITAL INTEGRATED CIRCUITS;

EID: 0031147228     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/43.631210     Document Type: Article

References (28)

1. C. E. Seitz, "System timing," in Introduction to VLSI Systems, C. A. Mead and L. A. Conway, Eds. Reading, MA: Addison-Wesley, 1980, pp. 219-262.
2. C. E. Molnar, T. P. Fang, and F. U. Rosenberger, "Synthesis of delayinsenstiive modules," in P roc. 1985 Chapel Hill Conf. Advanced Res. in VLSI, 1985, pp. 67-86.
3. A. J. Martin, "Programming in VLSI: From communicating processes to delay-sensitive circuits," in UT Year of Programming Intitule on Concurrent Programming, C. A. R. Hoare, Ed. Reading, MA: AddisonWesley, 1989, pp. 1-64.
4. E. Brunvand and R. F. Sproull, "Translating concurrent programs into delay-insensitive circuits," in P roc. ICCAD, 1989, pp. 262-265.
5. D. Gajski, F. Vahid, S. Naranyan, and J. Gong, Specification and Design of Embedded Systems. Englewood Cliffs, NJ: Prentice-Hall, 1994.
6. G. Gopalakrishnan and E. Brunvand, INTEGRATION, VLSIJ., (Special Issue on Asynchronous Design), vol. 15, no. 3, 1993.
7. T. H. Meng and S. Malik, J. VLSI Signal Processing (Special Issue on Asychronous Circuit Design for VLSI Signal Processing), vol. 7, no. 1-2, 1994.
8. T. H. Meng, R. W. Brodersen, and D. G. Messerschmitt, "Automatic synthesis of asynchronous circuits from high-level specifications," IEEE Trans. Computer-Aided Design, vol. 8, pp. 1185-1205, Nov. 1989.
9. D. M. Shapiro, "Globally asynchronous, locally synchronous systems," Ph.D. thesis, Stanford Univ., Stanford, CA, 1984.
10. K. Wolinski and M. Belhadj, "Vers la synthèse automatique de programmes signal," Tech. Rep. 746, IRISA, Rennes, France, 1993.
11. G. Gopalakrishnan and L. Josephson, "Towards amalgating the synchronous and asynchronous styles," in TAU'93, ACM Workshop on Timing Issues in the Specification and Synthesis of Digital Syst., Malente, Germany, 1993, paper 10.
12. P. A. Subrahmanyam, "Automated synthesis of mixed-mode (asynchronous and synchronous) systems," AT&T Tech. J., vol. 70, no. 1, pp. 111-124, 1991.
13. T. Wu, T. Tien, A. Wu, and Y. Lin, "A synthesis method for mixed synchronous/asynchronous behavior," in Proc. EDAC, 1994, pp. 277-281.
14. C. E. Leiserson, F. M. Rose, and J. B. Saxe, "Optimizing synchronous circuitry by retiming," in Proc. 3rd Caltech Conf. VLSI, 1983, pp. 87-116.
15. C. Ramachandani, "Analysis of asynchronous concurrent systems by Petri nets," Tech. Rep. Project MAC, TR120, MIT, Cambridge, MA, 1974.
16. C. V. Ramamoorthy and G. S. Ho, "Performance evaluation of asynchronous concurrent systems using Petri nets," IEEE Trans. Software Eng., vol. SE6, no. 5, pp. 440-449, 1980.
17. S. M. Burns, "Performance analysis and optimization of asynchronous circuits," Ph.D. dissertation, CIT, 1990.
18. F. Commoner and A. W. Holt, "Marked directed graphs," J. Comput. Syst. Sci., vol. 5, pp. 511-523, 1971.
19. J. L. Peterson, Petri Net Theory and Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
20. R. Reiter, "Scheduling parallel computations," J. ACM, vol. 15, pp. 590-599, 1968.
21. F. Baccelli, G. Cohen, G. J. Olsder, and J.-P. Quadrat, Synchronization and Linearity. New York: Wiley, 1992.
22. G. Cohen, D. Dubois, J. P. Quadrat, and M. Viot, "A linear-systemtheoretic view of discrete-event processes and its use for performance evaluation in manufacturing," IEEE Trans. Automat. Contr., vol. AC30, pp. 210-220, Mar. 1985.
23. E. L. Lawler, Combinatorial Optimization: Networks and Matroids. New York: Holt, Rinehart, and Winston, 1976.
24. R. M. Karp, "A characaterization of the minimum cycyle mean in a digraph," Discrete Math., vol. 23, pp. 309-311, 1978.
25. T. Cormen, C. Leiserson, and R. Rivest, Introduction to Algorithms. New York: McGraw-Hill, 1990.
26. I. E. Sutherland, "Micropipelines," Commun. ACM, vol. 32, pp. 720-738, 1989.
27. G. Kahn, "The semantics of a simple language for parallel progamming," in Proc. IFIP Congr. 74, North Holland, 1974.
28. R. A. Walker and R. Camposano, A Survey of High-Level Synthesis Systems. Norwell, MA: Kluwer, 1991.