Esterel Studio

Esterel Studio

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.

Features

* Formal executable specifications.
* Verification of properties and assertions.
* synchronous dataflow design.
* Generate specification in VHDL or Verilog formats.
* Generate C, C++, or SystemC code.
* ECO support.

ee also

* SyncCharts

External links

[http://www.esterel-eda.com/products/ Esterel Studio web page]


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Esterel — is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the simple expression of parallelism and preemption. As a consequence, it is very well suited for control… …   Wikipedia

  • Esterel (Programmiersprache) — Esterel ist eine synchrone imperative Programmiersprache, deren Ursprung auf den Anfang der 80er und die Zusammenarbeit mehrerer Wissenschafter (u. a. Gérard Berry) zurückzuführen ist. Inhaltsverzeichnis 1 Ursprung 2 Semantik 3 Optimierung …   Deutsch Wikipedia

  • Esterel Technologies — is a supplier of model based design, validation, and code generation tools for safety critical software and hardware applications. Esterel’s tools create formal specifications that produce correct by construction, automated implementation of… …   Wikipedia

  • Esterel Technologies — Créée en 1999, l entreprise Esterel Technologies offre des produits et services pour la conception de systèmes critiques. Le produit SCADE (basé sur Lustre) est utilisé pour le développement de logiciels critiques dans les domaines de l… …   Wikipédia en Français

  • SyncCharts — is a graphical formalism dedicated to reactive system modeling. It allows specifying the reactive behavior, and the synchronous programming, of applications. SyncCharts is the name of the model. A syncChart is an instance. This language was… …   Wikipedia

  • Puget-sur-Argens — Pour les articles homonymes, voir Puget (homonymie). 43° 27′ 23″ N 6° 40′ 58″ E …   Wikipédia en Français

  • ARINC 661 — is a standard which aims to normalize the definition of a Cockpit Display System (CDS), and the communication between the CDS and User Applications (UA) which manage Aircraft avionics functions. The GUI definition is completely defined in binary… …   Wikipedia

  • Cannes — Pour les articles homonymes, voir Cannes (homonymie). 43° 33′ 05″ N 7° 00′ 46″ E …   Wikipédia en Français

  • Route du bord de mer (Alpes Maritimes) — La route du bord de mer des Alpes Maritimes (citée ci après : la Route) est une route touristique de la Côte d Azur qui longe la Méditerranée depuis Le Trayas (dans le département du Var) jusqu à Menton et la frontière Italienne, sur une… …   Wikipédia en Français

  • Route du bord de mer (alpes maritimes) — La route du bord de mer des Alpes Maritimes (citée ci après : la Route) est une route touristique de la Côte d Azur qui longe la Méditerranée depuis Le Trayas (dans le département du Var) jusqu à Menton et la frontière Italienne, sur une… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”