|
|
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.
| |
fsm-verify
the new FSM behavior equivalence checker |
|
|
|
|
