delivers the full benefits of ESL synthesis with automated RTL/C/SystemC code production from a single and formally verified Esterel Studio IP executable specification.
Esterel EDA Technologies offers software and hardware development services for technology leaders including : Texas Instruments, NXP, and STMicroelectronics.
Our expert consultants will help you plug Esterel Studio in your RTL and SystemC flows, or connect to other ESL tools.
Esterel Studio is the leading ESL tool for control-intensive hardware IP. Find out design targets for wireless communications, processors, peripheral cores, bus and peripheral interfaces, memory, power management, and more …

Reduce your time to market by at least 30%
Improve team communication with formal and easy to understand executable specifications
Increase quality with formal verification finding most bugs and corner cases before system-level simulation
Cut RTL and SystemC costs with automatic code generation
© 1999–2008 Esterel Technologies, Inc All rights reserved.