Esterel EDA

What is the Esterel Studio Sequential Equivalence Checker?

Sequential equivalence checking can be done in Esterel Studio in two different ways:

• Sequential equivalence checks can be performed on intermediate code before and after optimizations.
• Sequential equivalence of two versions of design can be formally verified.