=================================================================
TITLE: Esterel Technologies Academic Program
The Esterel Technologies Academic Program is designed to support
educators using Esterel Technologies software tools for classroom
teaching. Esterel Technologies offers universities access to
Esterel Studio and/or SCADE licenses on a yearly basis. The
program allows up to 20 simultaneous users on a LAN, free of
charge.
Esterel Technologies' products allow developers to create
unambiguous specifications that can generate an automated
implementation guaranteed to match the specification 100%. Tuned
to design critical paths in control-dominated circuits, Esterel
Studio is based on Esterel, a formally provable, synchronous
language based on finite state machine syntax. Users run
simulation and formal verification and then automatically
generate C/ C++, Verilog or VHDL. The proprietary language,
Esterel, supports cycle-level concurrency as opposed to SystemC
which supports software concurrency.
For additional information, access: Esterel
=================================================================