The Esterel Language
Synchronous reactive language
- For control dominated systems such as embedded systems, protocols, Hw/Sw controllers, etc..
- Modular, imperative style with sequencing, parallelism, signal broadcasting, instantaneous reaction
- Semantics in terms of Finite State Mealy Machine: explicit (fc2), implicit (blif)