Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Esterel_Studio> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- Esterel_Studio abstract "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.".
- Esterel_Studio wikiPageExternalLink esterelStudio.html.
- Esterel_Studio wikiPageID "4069317".
- Esterel_Studio wikiPageRevisionID "580106293".
- Esterel_Studio hasPhotoCollection Esterel_Studio.
- Esterel_Studio subject Category:Hardware_description_languages.
- Esterel_Studio subject Category:Synchronous_programming_languages.
- Esterel_Studio type Abstraction100002137.
- Esterel_Studio type Communication100033020.
- Esterel_Studio type HardwareDescriptionLanguages.
- Esterel_Studio type Language106282651.
- Esterel_Studio type ProgrammingLanguage.
- Esterel_Studio type Software.
- Esterel_Studio type Work.
- Esterel_Studio type CreativeWork.
- Esterel_Studio type InformationEntity.
- Esterel_Studio comment "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.".
- Esterel_Studio label "Esterel Studio".
- Esterel_Studio sameAs m.0bghj0.
- Esterel_Studio sameAs Q5400990.
- Esterel_Studio sameAs Q5400990.
- Esterel_Studio sameAs Esterel_Studio.
- Esterel_Studio wasDerivedFrom Esterel_Studio?oldid=580106293.
- Esterel_Studio isPrimaryTopicOf Esterel_Studio.