Automatic production of globally asynchronous locally synchronous systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2491, Issue , 2002, Pages 266-281

  Girault, Alain ^a   Mènier, Clèment ^b  

^a INRIA RHÔNE ALPES   (France)

^b UNIVERSITÉ DE LYON   (France)

Author keywords

Asynchronous communications; Automatic distribution; Distributed architectures; Globally synchronous locally asynchronous (GALS); Hardware software codesign; Synchronous circuits

Indexed keywords

EMBEDDED SOFTWARE; HARDWARE-SOFTWARE CODESIGN; SPECIFICATIONS;

ASYNCHRONOUS COMMUNICATION; AUTOMATIC DISTRIBUTION; DISTRIBUTED ARCHITECTURE; GLOBALLY SYNCHRONOUS-LOCALLY ASYNCHRONOUS (GALS); SYNCHRONOUS CIRCUITS;

EMBEDDED SYSTEMS;

EID: 84948961781     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45828-x_20     Document Type: Conference Paper

References (14)

1. F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara. Hardware- Software Co-Design of Embedded Systems: The Polis Approach. Kluwer Academic, June 1997.
2. G. Berry. Esterel on hardware. Philosophical Transaction Royal Society of London, 339:87–104, 1992.
3. G. Berry. The foundations of Esterel. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language, and Interaction: Essays in Honour of Robin Milner, pages 425–454. MIT Press, 2000.
4. G. Berry and E. Sentovich. An implementation of constructive synchronous constructive programs in Polis. Formal Methods in Systems Design, 17(2):165–191, October 2000.
5. B. Caillaud, P. Caspi, A. Girault, and C. Jard. Distributing automata for asynchronous networks of processors. European Journal of Automation (RAIRO-APIIJESA), 31(3):503–524, 1997. Research Report Inria 2341.
6. P. Caspi, A. Girault, and D. Pilaud. Automatic distribution of reactive systems for asynchronous networks of processors. IEEE Trans. on Software Engineering, 25(3):416–427, May/June 1999.
7. D.M. Chapiro. Globally Asynchronous Locally Synchronous Systems. PhD Thesis, Stanford University, October 1984.
8. M. Clerbout and M. Latteux. Semi-commutations. Information and Computation, 73:59–74, 1987.
9. A. Dinning. A survey of synchronization methods for parallel computers. IEEE Computer, pages 66–76, July 1989.
10. A. Girault and G. Berry. Circuit generation and verification of Esterel programs. In IEEE International Symposium on Signals, Circuits, and Systems, SCS’99, pages 85–89, Iasi, Romania, July 1999. “Gh. Asachi” Publishing.
11. R. Gupta, S. Pande, K. Psarris, and V. Sarkar. Compilation techniques for parallel systems. Parallel Computing, 25(13):1741–1783, 1999.
12. A. Hemani, T. Meincke, S. Kumar, A. Postula, T. Olsson, P. Nilsson, J. Oberg, P. Ellervee, and D. Lundqvist. Lowering power consumption in clock by using globally asynchronous locally synchronous design style. In 36th ACM/IEEE Design Automation Conference, DAC’99, pages 873–878, New Orleans, USA, June 1999.
13. J. Muttersbach, T. Villiger, and W. Fichtner. Practical design of globally asynchronous locally synchronous systems. In Int. Symp. on Advanced Research in Asynchronous Circuits and Systems, ASYNC’00, Eilat, Israel, April 2000. IEEE.
14. T. Shiple, G. Berry, and H. Touati. Constructive analysis of cyclic circuits. In European Design and Test Conference, pages 328–333, Paris, France, March 1996.