3.2.10.6 Язык программирования Esterel Esterel – императивный и параллельный язык, который имеет хорошо
определенную формальную базу и законченную реализацию. Фундаментальная
концепция ESTEREL – событие. Событие соответствует посылке или
получению сигналов, которые передают данные.
Esterel основан на синхронной модели. Этот синхронизм упрощает
обоснование времени и гарантирует детерминизм.
Пример программы на языке Esterel:
module ABRO:
input A, B, R;
output O;
loop
[ await A || await B ];
emit O
each R
end module
Приведенная выше программа осуществляет генерацию события ‘О’
только при наличии обоих событий на входах ‘A’ и ‘B’. Сброс программы
осуществляется через вход ‘R’.
В настоящее время Esterel используется в системе программирования
Esterel Studio (Synfora), предназначенной для проектирования систем-на-
кристалле.
