Skip to main content
SpringerLink
Log in

Automatic Production of Globally Asynchronous Locally Synchronous Systems

  • Conference paper
  • First Online:
Embedded Software (EMSOFT 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2491))

Included in the following conference series:

Abstract

Globally Asynchronous Locally Synchronous (GALS) systems are popular both in software and hardware for specifying and producing embedded systems as well as electronic circuits. In this paper, we propose a method for obtaining automatically a GALS system from a centralised synchronous circuit. We focus on an algorithm that takes as input a program whose control structure is a synchronous sequential circuit and some distribution specifications given by the user, and gives as output the distributed program matching the distribution specifications. Since the obtained programs communicate with each other through asynchronous FIFO queues, the resulting distributed system is indeed a GALS system. We also sketch a correctness proof for our distribution algorithm, and we present how our method can be used to achieve hardware/ software codesign.

Many thanks to Stephen Edwards (Columbia University) and Tom Shiple (Synopsys) for helpful discussions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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.

    Google Scholar 

  2. G. Berry. Esterel on hardware. Philosophical Transaction Royal Society of London 339:87–104, 1992.

    Article  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  7. D.M. Chapiro. Globally Asynchronous Locally Synchronous Systems. PhD Thesis, Stanford University, October 1984.

    Google Scholar 

  8. M. Clerbout and M. Latteux. Semi-commutations. Information and Computation, 73:59–74, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  9. A. Dinning. A survey of synchronization methods for parallel computers. IEEE Computer, pages 66–76, July 1989.

    Google Scholar 

  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.

    Google Scholar 

  11. R. Gupta, S. Pande, K. Psarris, and V. Sarkar. Compilation techniques for parallel systems. Parallel Computing, 25(13):1741–1783, 1999.

    Article  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bip project, Inria Rhône-Alpes, 655 avenue de l’Europe, 38334, Saint-Ismier, France

    Alain Girault

  2. ENS Lyon, 46, Allée d’Italie, 69364, Lyon Cedex 07, France

    Clément Ménier

Authors
  1. Alain Girault
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Clément Ménier
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of EECS, University of California at Berkeley, Berkeley, CA, 94720, USA

    Alberto Sangiovanni-Vincentelli

  2. Verimag, Centre Equation, 2 rue de Vignate, 38610, Gieres, France

    Joseph Sifakis

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Girault, A., Ménier, C. (2002). Automatic Production of Globally Asynchronous Locally Synchronous Systems. In: Sangiovanni-Vincentelli, A., Sifakis, J. (eds) Embedded Software. EMSOFT 2002. Lecture Notes in Computer Science, vol 2491. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45828-X_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-45828-X_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44307-0

  • Online ISBN: 978-3-540-45828-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation