|
|
Papers
from the Esterel Team
How
to analyze cyclic circuits for full constructive causality in Esterel v5:
- Constructive
Analysis of Cyclic Circuits [
PostScript ] [
PDF ]
T. Shiple, Gérard Berry, H. Touati. Proc. International Design
and Testing Conference, Paris, 1996.
How to optimize
the generated circuits:
- Latch
Optimization in Circuits Generated from High-Level Descriptions [
PostScript ] [
PDF ] H. Toma, E. Sentovich, and G. Berry Proc. International
Conf. on Computer-Aided Design ICCAD'96,
- Efficient
Latch Optimization Using Incompatible Sets
H. Toma, E. Sentovich, and G. Berry Proc. International Digital
Conférence.
DAC 97, Anaheim 1997,
- Optimized
Controller Synthesis Using Esterel [
PostScript ] [
PDF ]
H. Touati, G. Berry. Proc. International Workshop on Logic Synthesis,
Lake Tahoe, 1993.
A
general discussion of synchrony vs. asynchrony in real-time systems:
- Real-Time
Programming: General Purpose or Special-Purpose Languages
Gérard Berry. Information Processing 89, pp 11-17, Elsevier
Science Publishers, 1989.
The first complete
paper on the language design.
- The
Esterel Synchronous Programming Language: Design, Semantics, Implementation
[
PostScript ] [
PDF ]
Gérard Berry, Georges Gonthier. Science of Computer Programming
vol. 19, n°2, pp 87-152, 1992.
A general survey
of the language:
- The
Esterel Language
Frédéric Boussinot, Robert De Simone. Another Look
at Real Time Programming, Proc. of the IEEE, vol. 79, pp 1293-1304,
1991.
A general discussion
of preemption primitives for synchronous programs:
- Preemption
and Concurrency [
PostScript ] [
PDF ]
Gérard Berry. Proc. FSTTCS 93, Springer Verlag, lectures notes
in Computer Science 761, 1993.
An attempt
at unifying Esterel and CSP:
- Communicating
Reactive Processes [
PostScript ] [
PDF ]
Gérard Berry, S. Ramesh, R.K.
Shyamasundar. Proc. 20th ACM Conf. on Principles of Programming
Languages, Charleston, Virginia, 1993.
|
