Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,418,341 papers from all fields of science
Search
Sign In
Create Free Account
Esterel
Known as:
Esterel language
, Esterel programming language
Esterel is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
Automata-based programming
Averest
Clock Constraints Specification Language
Formal methods
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Hardware/Software Synthesis and Verification Using Esterel
Satnam Singh
Communicating Process Architectures Conference
2007
Corpus ID: 18734195
The principal contribution of this paper is the demonstration of a promising technique for the synthesis of hardware and software…
Expand
2004
2004
The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor
Xin Li
,
R. V. Hanxleden
SYNCHRON
2004
Corpus ID: 17615770
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined…
Expand
2002
2002
Top-level validation of system-on-chip in Esterel Studio
G. Berry
,
Lionel Blanc
,
A. Bouali
,
Jerome Dormoy
Seventh IEEE International High-Level Design…
2002
Corpus ID: 7593185
We present a new tool-supported methodology for system on chip top-level validation (TLV). The addressed problem is the…
Expand
2000
2000
Multiclock Esterel: a reactive framework for asynchronous design
Basant Rajan
,
R. Shyamasundar
Proceedings, International Parallel and…
2000
Corpus ID: 896756
In this paper, we discuss a new paradigm called Multiclock Esterel, based on the paradigm of the synchronous reactive language…
Expand
2000
2000
Formal methods for analysis of heterogeneous models of embedded systems
S. Nadjm-Tehrani
CACSD. Conference Proceedings. IEEE International…
2000
Corpus ID: 2271232
Technological developments in micro-electronics have made digital control an indispensable component in all engineering systems…
Expand
1999
1999
Using Esterel and Formal Methods to Increase the Conndence in the Functional Validation of a Commercial Dsp
A. Bouali
,
H. Boufaied
,
M. Hadj-chaib
,
Laure Leblanc
,
R. Simone
1999
Corpus ID: 14473447
At Texas Instruments, real Digital Signal Processor designs targeted at wireless communication are very large designs. The…
Expand
1997
1997
The Mine Pump Control Program in Esterel
P. Giridhar
,
Vinod Kumar
,
M. Joseph
1997
Corpus ID: 63958620
This report describes the development of a mine pump control program in the synchronous programming language Esterel.
1997
1997
XEVE : an ESTEREL Verification Environment : (Version v1_3)
A. Bouali
1997
Corpus ID: 60046133
XEVE is a verification environment for ESTEREL programs modeled as Finite State Machines {FSMs) with a user-friendly graphical…
Expand
1995
1995
Boolean automata for implementing pure Esterel
A. Poigné
,
L. Holenderski
1995
Corpus ID: 59662242
A new compilation scheme is proposed for the synchronous language Esterel. The compilation is based on a new intermediate…
Expand
1994
1994
Compilation du langage esterel en systemes d'equations booleennes
F. Mignard
1994
Corpus ID: 169120398
Le travail que nous presentons dans cette these formalise la traduction du langage reactif synchrone esterel en systemes d…
Expand