Esterel EDA>Products>Executable Specifications

Create Formally Verified Executable Specifications

Share and review animated reference Esterel Studio specifications by creating an "Executable Specification" packaged for export to other teams, your customers or suppliers. The executable specification is supplied in the form of a zip file and includes a standalone simulator of your IP design. Your partners simply need downloading the Esterel Studio Player to use the Executable Specifications.

  • Share the same reference specification between architects, designers, and verification engineers.
  • Undocumented behavior? Perform an immediate dynamic simulation of the Executable Specification.
  • Use Esterel unabiguous and formally verified Executable Specifications as a specification sign-off "executable" document.
  • Document the specification with commented simulation reference scenarios for Playback
Exec Spec Menu

Your partners simply need downloading the Esterel Studio Player.

You can also download the getting started manual and its companion executable specification as an example of dynamic executable specification.

Esterel Studio Player

© 1999–2008 Esterel Technologies, Inc All rights reserved.