Esterel EDA

What type of formal verification does Esterel Studio support?

The Design Verifier is used to exhaustively verify complex functional properties, detect hard-to-find corner-case bugs, and explore complex design behaviors. Properties are either defined by the user or by automatic assertions extracted from designs. Both bounded and unbounded model checking are supported.

The Design Verifier implements a multiple-engine formal verification system (SAT-based, BDD-based, linear arithmetic decision procedure, and constraints solving).

The Esterel Studio Design Verifier is based on the Prover™ Plug-In, a trademark of Prover Technology AB in Sweden, the United States, and other countries.