Article

Free access

ECL: a specification environment for system-level design

Authors:

Luciano Lavagno,

Ellen SentovichAuthors Info & Claims

DAC '99: Proceedings of the 36th annual ACM/IEEE Design Automation Conference

Pages 511 - 516

https://doi.org/10.1145/309847.309989

Published: 01 June 1999 Publication History

PDF eReader

References

[1]

F. Balarin, E. Sentovich, M. Chiodo, E Giusto, H. Hsieh, B. Tabbara, A. Jurecska, L. Lavagno, C. Passerone, K. Suzuki, and A. Sangiovanni-Vincentelli. Hardware- Software Co-design of Embedded Systems- The POLLS experience. Kluwer Academic Publishers, 1997.

Digital Library

Google Scholar

[2]

G. Berry. The Constructive Semantics of Pure Esterel. 1996. To Appear, available now at ftp: //www.inria.fr/meije/esterel/papers/constructiveness.ps.gz.

Google Scholar

[3]

G. Berry. The Foundations of Esterel. 1998. See http ://www.inria.fr/meij e/Esterel.

Google Scholar

[4]

F. Boussinot, G. Doumenc, and J.-B. Stefani. Reactive objects. Annales des Telecommunications, 51(9-10):459-473, September 1996.

Crossref

Google Scholar

[5]

E Clarke. Felix tools pushed in research project. Elect~vnic Engineering Times, October 1998. See http://www.eetimes.com/news/98/1029news/felix.html.

Google Scholar

[6]

S. Edwards, L. Lavagno, E.A. Lee, and A. Sangiovanni- Vincentelli. Design of embedded systems: formal models, validation, and synthesis. Proceedings of the IEEE, 85(3):366-390, March 1997.

Crossref

Google Scholar

[7]

N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.

Digital Library

Google Scholar

[8]

D. Har'el, H. Lachover, A. Naamad, A. Pnueli, et al. STATE- MATE: a working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4), April 1990.

Digital Library

Google Scholar

[9]

E.A. Lee and D.G. Messerschmitt. Static scheduling of synchronous data flow graphs for digital signal processing. IEEE Transactions on Computers, January 1987.

Digital Library

Google Scholar

[10]

S. Liao, S. Tjiang, and R. Gupta. An efficient implementation of reactivity for modeling hardware in the Scenic design environment. In Proceedings of the Design Automation Conference, pages 70-75, June 1997.

Digital Library

Google Scholar

[11]

System Level Design Language Home page, 1998. See http://www.inmet.com/SLDL/.

Google Scholar

Cited By

View all

Yip EGirault ARoop PBiglari-Abhari M(2023)Synchronous Deterministic Parallel Programming for Multi-Cores with ForeCACM Transactions on Programming Languages and Systems10.1145/359159445:2(1-74)Online publication date: 26-Jun-2023
https://dl.acm.org/doi/10.1145/3591594
Smyth SMotika CRathlev KHanxleden RMendler M(2017)SCEstACM Transactions on Embedded Computing Systems10.1145/306312917:2(1-26)Online publication date: 7-Dec-2017
https://dl.acm.org/doi/10.1145/3063129
Li ZMalik ASalcic ZZiarek L(2015)Reducing Worst Case Reaction Time of Synchronous Programs on Chip-multiprocessors with Application-Specific TDMA SchedulingProceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2822304.2822306(1-9)Online publication date: 7-Oct-2015
https://dl.acm.org/doi/10.1145/2822304.2822306
Show More Cited By

Index Terms

ECL: a specification environment for system-level design
1. Computing methodologies
  1. Modeling and simulation
    1. Simulation support systems
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis

Recommendations

On hardware description in ECL
Languages for system specification

ECL is a system design language suitable for heterogeneous, reactive systems, but there are no tools to directly compile the data-flow parts into hardware. In this paper, we propose several approaches to synthesizing these parts into hardware without ...
Post-layout optimization of power and timing for ECL LSIs
EDTC '95: Proceedings of the 1995 European conference on Design and Test
ECL: a specification environment for system-level design
Electronic chips & systems design languages

Comments

Information & Contributors

Information

Published In

DAC '99: Proceedings of the 36th annual ACM/IEEE Design Automation Conference

June 1999

1000 pages

ISBN:1581131097

DOI:10.1145/309847

Editor:
Mary Jane Irwin

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1999

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DAC99

Sponsor:

EDAC
SIGDA
IEEE-CAS

DAC99: The 36th ACM/IEEE-CAS/EDAC Design Automation Conference

June 21 - 25, 1999

Louisiana, New Orleans, USA

Acceptance Rates

DAC '99 Paper Acceptance Rate 154 of 451 submissions, 34%;

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

66
Total Citations
View Citations
311
Total Downloads

Downloads (Last 12 months)61
Downloads (Last 6 weeks)9

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Yip EGirault ARoop PBiglari-Abhari M(2023)Synchronous Deterministic Parallel Programming for Multi-Cores with ForeCACM Transactions on Programming Languages and Systems10.1145/359159445:2(1-74)Online publication date: 26-Jun-2023
https://dl.acm.org/doi/10.1145/3591594
Smyth SMotika CRathlev KHanxleden RMendler M(2017)SCEstACM Transactions on Embedded Computing Systems10.1145/306312917:2(1-26)Online publication date: 7-Dec-2017
https://dl.acm.org/doi/10.1145/3063129
Li ZMalik ASalcic ZZiarek L(2015)Reducing Worst Case Reaction Time of Synchronous Programs on Chip-multiprocessors with Application-Specific TDMA SchedulingProceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2822304.2822306(1-9)Online publication date: 7-Oct-2015
https://dl.acm.org/doi/10.1145/2822304.2822306
(2015)SCEstProceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2015.7340462(10-19)Online publication date: 1-Sep-2015
https://dl.acm.org/doi/10.1109/MEMCOD.2015.7340462
Aguado JMendler MHanxleden RFuhrmann I(2015)Denotational fixed-point semantics for constructive scheduling of synchronous concurrencyActa Informatica10.1007/s00236-015-0238-x52:4-5(393-442)Online publication date: 1-Jun-2015
https://dl.acm.org/doi/10.1007/s00236-015-0238-x
Hanxleden RMendler MAguado JDuderstadt BFuhrmann IMotika CMercer SO'brien ORoop P(2014)Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of ComputationACM Transactions on Embedded Computing Systems10.1145/262735013:4s(1-26)Online publication date: 28-Jul-2014
https://dl.acm.org/doi/10.1145/2627350
Andalam SRoop PGirault ATraulsen C(2014)A Predictable Framework for Safety-Critical Embedded SystemsIEEE Transactions on Computers10.1109/TC.2013.2863:7(1600-1612)Online publication date: 1-Jul-2014
https://dl.acm.org/doi/10.1109/TC.2013.28
Barkati KJouvelot P(2013)Synchronous programming in audio processingACM Computing Surveys10.1145/2543581.254359146:2(1-35)Online publication date: 27-Dec-2013
https://dl.acm.org/doi/10.1145/2543581.2543591
Salcic ZMalik A(2013)GALS-HMPACM Transactions on Embedded Computing Systems10.1145/2435227.243525412:1s(1-26)Online publication date: 29-Mar-2013
https://dl.acm.org/doi/10.1145/2435227.2435254
Marinescu MSánchez C(2013)Fusing statecharts and javaACM Transactions on Embedded Computing Systems10.1145/2435227.243524112:1s(1-21)Online publication date: 21-Mar-2013
https://dl.acm.org/doi/10.1145/2435227.2435241
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

On hardware description in ECL

Post-layout optimization of power and timing for ECL LSIs

ECL: a specification environment for system-level design