Compiling Esterel into sequential code

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Compiling Esterel into sequential code

Full text

Pdf (460 KB)

Source

International Conference on Hardware Software Codesign archive
Proceedings of the seventh international workshop on Hardware/software codesign table of contents

Rome, Italy

Pages: 147 - 151

Year of Publication: 1999

ISBN:1-58113-132-1

Author

Stephen A. Edwards

Synopsys, Inc., Mountain View, CA

Sponsors

IEEE-CS : Computer Society
IFIP : International Federation for Information Processing
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGDA: ACM Special Interest Group on Design Automation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 10, Downloads (12 Months): 13, Citation Count: 5

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/301177.301514 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Brenda S. Baker, An Algorithm for Structuring Flowgraphs, Journal of the ACM (JACM), v.24 n.1, p.98-120, Jan. 1977 [doi>10.1145/321992.321999]
	2	Gérard Berry, Esterel on hardware, Mechanized reasoning and hardware design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
	3	G. Berry. The constroctive semantics of pore Esterel. Book in preparation, 1996.
	4	Gérard Berry , Georges Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation, Science of Computer Programming, v.19 n.2, p.87-152, Nov. 1992 [doi>10.1016/0167-6423(92)90005-V]
	5	V. Bertin, M. Poize, and J. Pulou. Une nouvelle methode de compilation pour le language ES'IEREL A new method for compiling the Esterel language. In Pmceedings of GRAISyHM-AAA, Lille, France, Mar. 1999. In French.
	6	Massimiliano Chiodo , Paolo Guisto , Attila Jurecska , Luciano Lavagno , Ellen Sentovich , Harry Hsieh , Kei Suzuki , Alberto Sangiovanni-Vincentelli, Synthesis of software programs for embedded control application, Proceedings of the 32nd ACM/IEEE conference on Design automation, p.587-592, June 12-16, 1995, San Francisco, California, United States [doi>10.1145/217474.217594]
	7	B. Lin, Efficient compilation of process-based concurrent programs without run-time scheduling, Proceedings of the conference on Design, automation and test in Europe, p.211-217, February 23-26, 1998, Le Palais des Congrés de Paris, France
	8	Thomas R. Shiple , Gerard Berry , Herve Touati, Constructive Analysis of Cyclic Circuits, Proceedings of the 1996 European conference on Design and Test, p.328, March 11-14, 1996

CITED BY 5

	Joseph Buck , Radha Vaidyanathan, Heterogeneous modeling and simulation of embedded systems in El Greco, Proceedings of the eighth international workshop on Hardware/software codesign, p.142-146, May 2000, San Diego, California, United States
	André C. Nácul , Tony Givargis, Synthesis of time-constrained multitasking embedded software, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.11 n.4, p.822-847, October 2006
	Daniel Weil , Valérie Bertin , Etienne Closse , Michel Poize , Patrick Venier , Jacques Pulou, Efficient compilation of ESTEREL for real-time embedded systems, Proceedings of the 2000 international conference on Compilers, architecture, and synthesis for embedded systems, p.2-8, November 17-19, 2000, San Jose, California, United States
	Frank Vahid , Tony Givargis, Highly-cited ideas in system codesign and synthesis, Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, October 19-24, 2008, Atlanta, GA, USA
	Jens Brandt , Klaus Schneider, Separate compilation for synchronous programs, Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems, April 23-24, 2009, Nice, France