Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Esterel_Studio> ?p ?o }
Showing triples 1 to 46 of
46
with 100 triples 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 wikiPageLength "1263".
- Esterel_Studio wikiPageOutDegree "18".
- Esterel_Studio wikiPageRevisionID "580106293".
- Esterel_Studio wikiPageWikiLink C++.
- Esterel_Studio wikiPageWikiLink C_(programming_language).
- Esterel_Studio wikiPageWikiLink Category:Hardware_description_languages.
- Esterel_Studio wikiPageWikiLink Category:Synchronous_programming_languages.
- Esterel_Studio wikiPageWikiLink Dataflow_programming.
- Esterel_Studio wikiPageWikiLink Direct_memory_access.
- Esterel_Studio wikiPageWikiLink ECO_(Domain_Driven_Design).
- Esterel_Studio wikiPageWikiLink Esterel.
- Esterel_Studio wikiPageWikiLink Formal_specification.
- Esterel_Studio wikiPageWikiLink Register_transfer_language.
- Esterel_Studio wikiPageWikiLink Semiconductor_intellectual_property_core.
- Esterel_Studio wikiPageWikiLink SyncCharts.
- Esterel_Studio wikiPageWikiLink Synchronous_programming_language.
- Esterel_Studio wikiPageWikiLink SystemC.
- Esterel_Studio wikiPageWikiLink VHDL.
- Esterel_Studio wikiPageWikiLink Verilog.
- Esterel_Studio wikiPageWikiLinkText "Esterel Studio".
- Esterel_Studio wikiPageUsesTemplate Template:Compu-lang-stub.
- Esterel_Studio wikiPageUsesTemplate Template:Multiple_issues.
- Esterel_Studio wikiPageUsesTemplate Template:Notability.
- Esterel_Studio wikiPageUsesTemplate Template:Primary_sources.
- Esterel_Studio subject Category:Hardware_description_languages.
- Esterel_Studio subject Category:Synchronous_programming_languages.
- Esterel_Studio hypernym Environment.
- Esterel_Studio type Language.
- Esterel_Studio type ProgrammingLanguage.
- Esterel_Studio type Software.
- Esterel_Studio type Language.
- Esterel_Studio type Language.
- Esterel_Studio type Thing.
- Esterel_Studio type Q315.
- Esterel_Studio type Q34770.
- Esterel_Studio type Q9143.
- 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 Q5400990.
- Esterel_Studio sameAs m.0bghj0.
- Esterel_Studio sameAs Q5400990.
- Esterel_Studio wasDerivedFrom Esterel_Studio?oldid=580106293.
- Esterel_Studio isPrimaryTopicOf Esterel_Studio.