Esterel EDA>Downloads>Commercial information
Esterel Studio commercial product information
Esterel Studio version 6.0 Product Data Sheet
Read about Esterel Studio main features, software and hardware requirements, and supported platforms.
Executable Specifications Flyer
The Executable Specification is supplied in the form of a .zip file and includes a standalone simulator of your design. Your partners simply need downloading the free of charge Esterel Studio Player to open and animate the executable specification.
Formal Verification Flyer
The Esterel/SSM language expressiveness and its native support for assertions together with Esterel Studio’s seamlessly integrated dynamic and static verification capabilities make Esterel Studio powered for assertion-based verification.
The SPIRIT Consortium™ IP-XACT™ Support
Esterel Studio generates IP-XACT enabled meta-data so that the SystemC, VHDL and Verilog generated from Esterel Studio can now be packaged in compliancy with the IP-XACT exchange format and be easily imported by other ESL and RTL level tools.The leading front-end design and verification suite for control intensive hardware IP.
Product resources guide flyer
This is a short resources guide to summarize what to find on Esterel EDA Technologies website and where to find it. It points to technical material, application notes, Esterel code examples, IEEE standardization information, and Esterel Consortium resources.
