Esterel EDA

Why are Esterel Studio FSMs more powerful than traditional flat FSMs?

The Safe State Machines of Esterel Studio are similar to StateCharts and other notations used in object-oriented methods such as UML (Unified Modeling Language). However, Safe State Machines add synchronous semantics that enforce the determinism of models and raise the potential for achieving efficient formal proofs.