The Esterel compiler can be used to generate a software or hardware implementation of a reactive program.It can generate C-code to be embedded as a reactive kernel in a larger program that handles the interface and data manipulations.It can also generate hardware in the form of netlists of gates, which can then be embedded in a larger system.

We provide a graphical symbolic debugger for Esterel, extensive optimization tools, and interface with explicit or BDD-based verification tools that perform either bisimulation reduction or safety property checking.