High Level Synthesis

By now you might have seen our announcement on acquiring the Esterel Studio tool suite. This technology is complementary to our leading PICO algorithmic synthesis platform and was already part of an integrated flow used by several of our customers.

Talk to the users of Esterel Studio and they will tell you that Esterel is a great language and Esterel Studio is a great product for delivering complex control IP that has been formally verified. Esterel solved a hard problem with an elegant product. However, this was not enough as the design community moved towards C/C++ as a way of designing complex accelerators. Designers want the capability to build systems that encompass both application accelerator and control IP within a single integrated environment.
Technically, there are several key technologies that can be migrated into a C based flow extending its capabilities to design efficient hardware for parallel, hierarchical state machines with the need to react rapidly to real time inputs. This will leverage Esterel’s powerful compilation and verification technology and close an open issue when building complex systems in hardware.

We have absorbed the technology and ensured that the users have a stable and maintained product while we work out how we can use this exciting technology to further extend the reach of C synthesis into larger and more complex systems.

We have long believed in the power of the Esterel Studio technology and we can now see a way to providing it to a larger audience.