Esterel EDA>Products>Overview

Esterel Studio™

The Front-end Design and Verification Suite

Esterel Studio is the leading front-end design and verification suite for control-intensive hardware IP. Esterel Studio delivers the full expected benefits of ESL synthesis, providing an automated path from ESL to RTL by generating consistent VHDL/Verilog and SystemC implementations from a single and formally verified Esterel Studio IP executable specification. Esterel Studio includes an editor, a simulator, supports assertions and formal verification.

Formally Verified Executable Specifications

• Share the same reference specification between architects, designers, and verification engineers.
• Formally verify your Executable Specifications and share it with your design partners.
• Automatically generate VHDL, Verilog, or SystemC code.

The Optimal Choice for Control-intensive IP

A Comprehensive Design and Verification Tool

Esterel Studio provides the services of several EDA tools for the price and set up of a single one. Esterel Studio Integrated Development Environment comprehensive tool set includes everything necessary for the Specification, Design, and Verification of your project.

• Graphical State Machines Editor.
• Simulator, including model coverage and waves display.
• Design Formal Verifier (DV), including run-time errors checker.
• Sequential Equivalence Checker.
• Project Management and batch processes automation.
• Design information, early synthesis performance estimation,  and Automatic Documentation Generator.
• Dynamic Executable Specification Exporter.
• SystemC fast code generator.
• VHDL / Verilog Code generator.
• Co-Simulation with ESL and RTL simulators, including test-bench and instrumentation.
• SPIRIT export to ESL and SoC Integration tools.
• Connection with RTL synthesis tools, critical path display and analysis.

Read more about Esterel Studio

• Esterel Studio supports the IP-XACT™ Specification from The SPIRIT Consortium™ for easy integration into ESL and RTL flows.
• Visit the list of supported EDA tools for details.
• Find out about customer projects and  IP Design benefits using Esterel Studio.