Tags: Programming Language.

Esterel Studio is a design environment based on the Esterel language. It is optimized for hardware IPs (such as DMAs protocols cache controllers I/O subsystems etc.) dedicated at capturing formal design specifications enabling formal verification of properties early in the design phase and automating the production of synthesizable RTL (VHDL and Verilog) both for prototyping and production purposes.

Loading...

This page contains content from the copyrighted Wikipedia article "Esterel Studio"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.