Esterel EDA>Downloads>Demos

Esterel Studio Executable Specification Demo

An Executable Specification is a graphical stand-alone simulator locked on a model that can be freely distributed. The Executable Specification provides full dynamic interactive simulation facilities to complement paper specifications.

You can download the "Filter" executable specification example, which is documented in the Getting Started document.

This executable specification must be used with the Esterel Studio Player on a Windows XP machine.

In the package, you will find a pdf file presenting the video filter design and another one presenting the Player's main features.