Esterel on hardware
- 15 April 1992
- journal article
- Published by The Royal Society in Philosophical Transactions A
- Vol. 339 (1652) , 87-104
- https://doi.org/10.1098/rsta.1992.0027
Abstract
Esterel is a synchronous concurrent programming language for reactive systems (controllers, protocols, man—machine interfaces, etc.). Esterel has an efficient software implementation based on a well-defined mathematical semantics. I present a new hardware implementation of the pure synchronization subset of the language. Each program generates a specific circuit that responds to any input in one clock cycle. The circuit is shown to be semantically equivalent to the source program. The hardware translation is effectively implemented and used on the programmable active memory Perle0 developed by J. Vuillemin and his group at Digital Equipment.Keywords
This publication has 15 references indexed in Scilit:
- A unified framework for the formal verification of sequential circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- New ideas on symbolic manipulations of finite state machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A language for compositional specification and verification of finite state hardware controllersProceedings of the IEEE, 1991
- The synchronous data flow programming language LUSTREProceedings of the IEEE, 1991
- The synchronous approach to reactive and real-time systemsProceedings of the IEEE, 1991
- The ESTEREL languageProceedings of the IEEE, 1991
- Process calculi, from theory to practice: Verification toolsPublished by Springer Nature ,1990
- Multilevel logic synthesisProceedings of the IEEE, 1990
- Specifying the behavior of graphical objects using EsterelPublished by Springer Nature ,1989
- An algebraic definition for control structuresTheoretical Computer Science, 1980