Editor

Graphic SSM: readability and productivity

Safe State Machines provide an easy and quick way to capture and understand complex behavior and state machines.

The graphical Safe State Machines of a Soft Drink Machine

Safe States Machines are fully Hierarchical and Parallel.
A single transition from a hierarchical state replaces many transitions that would be required in flat FSM.
All Esterel Studio specifications are fully deterministic and non-ambiguous.
Specification can be structured for maximal reusability and understandability.

Text complements graphics for signal declarations and interfaces, logical equations, and numeric computing.

The textual part of a Soft Drink Machine specification

Textual language is powerful for datapath expressions and computation.
Easy to read, with syntax highlighting
pre operator in any expression for direct access to previous cycle values
Arbitrary precision for signed and unsigned types.
All numeric operations are exact and lossless: no implicit bit dropping, explicit saturation and truncature operators.
Automatic best size calculation for all operations with static-safe option: saves a lot of pain for tight sizing of variables
Asserts can be used to check number overflows during simulations
Signal and value arrays of any type and any dimension are supported
Extension of operators to arrays
Slicing on any number of dimensions
Conversion operators between unsigned, binary and onehot representation to adapt size and decoding speed to local needs in the design.
Registered signals (reg) declaration and next signal emission to quickly pipeline a design

The textual filter code with static safe overflow detection of the Product variable in a pixel interpolation filter

Configurations memorize all settings of a given task