Esterel Technologies

What is Esterel Technologies main activity?

The mission of Esterel Technologies is to provide correct-by-construction design tools that automatically generate defect-free implementations in software or HDL, and have as their core a rigorous and unambiguous specification.

Esterel Technologies solutions are helping customers world-wide cut costs and bring their products to market faster.

• Create specifications that are correct and reusable
  • Enable formal sign-off at the specification-level with customers and suppliers.
  • Ease specification communication between engineers.
  • Ease specification reusability between projects.
• Cut costs : Automate the costly and error-prone phases of manual and semi-automatic low-level verification and implementation.
• Update your specification with new or changed requirements and quickly regenerate automatic, correct-by-construction implementation.
• Automatically propagate validation and tests down the chain.