HTML Microdata document

This HTML5 document contains 63 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dcterms	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
n15	https://global.dbpedia.org/id/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
wikipedia-en	http://en.wikipedia.org/wiki/
dbc	http://dbpedia.org/resource/Category:
dbp	http://dbpedia.org/property/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
gold	http://purl.org/linguistics/gold/
dbr	http://dbpedia.org/resource/

Statements

Subject Item: dbr:Electronic_system-level_design_and_verification
rdf:type: dbo:Software
rdfs:label: Electronic system-level design and verification
rdfs:comment: Electronic system level (ESL) design and verification is an electronic design methodology, focused on higher abstraction level concerns. The term Electronic System Level or ESL Design was first defined by Gartner Dataquest, an EDA-industry-analysis firm, on February 1, 2001. It is defined in ESL Design and Verification as: "the utilization of appropriate abstractions in order to increase comprehension about a system, and to enhance the probability of a successful implementation of functionality in a cost-effective manner."
dcterms:subject: dbc:Electronic_design_automation
dbo:wikiPageID: 4246441
dbo:wikiPageRevisionID: 1057897792
dbo:wikiPageWikiLink: dbr:High_Level_Synthesis dbr:Debugging dbr:Platform-based_design dbr:Computer_hardware dbr:Transaction-level_modeling dbr:Embedded_software dbr:Algorithm dbr:Virtual_prototyping dbr:Systems_engineering dbc:Electronic_design_automation dbr:FPGA dbr:High-level_synthesis dbr:Electronic_design_automation dbr:System-on-a-chip dbr:Modeling_language dbr:SystemC_AMS dbr:Computer_model dbr:SysML dbr:SystemVerilog dbr:SystemC dbr:Verification_and_validation dbr:Property_Specification_Language dbr:C++ dbr:C_(programming_language) dbr:Integrated_circuit_design dbr:Computer_software dbr:Register-transfer_level dbr:High-level_verification dbr:Gartner dbr:System_design
owl:sameAs: wikidata:Q5358436 freebase:m.0bs4mf n15:4jWpk
dbp:wikiPageUsesTemplate: dbt:Reflist dbt:Cite_book
dbo:abstract: Electronic system level (ESL) design and verification is an electronic design methodology, focused on higher abstraction level concerns. The term Electronic System Level or ESL Design was first defined by Gartner Dataquest, an EDA-industry-analysis firm, on February 1, 2001. It is defined in ESL Design and Verification as: "the utilization of appropriate abstractions in order to increase comprehension about a system, and to enhance the probability of a successful implementation of functionality in a cost-effective manner." The basic premise is to model the behavior of the entire system using a high-level language such as C, C++, or using graphical "model-based" design tools. Newer languages are emerging that enable the creation of a model at a higher level of abstraction including general purpose system design languages like SysML as well as those that are specific to embedded system design like SMDL and SSDL. Rapid and correct-by-construction implementation of the system can be automated using EDA tools such as high-level synthesis and embedded software tools, although much of it is performed manually today. ESL can also be accomplished through the use of SystemC as an abstract modeling language. ESL is an established approach at many of the world’s leading System-on-a-chip (SoC) design companies, and is being used increasingly in system design. From its genesis as an algorithm modeling methodology with 'no links to implementation', ESL is evolving into a set of complementary methodologies that enable embedded system design, verification, and debugging through to the hardware and software implementation of custom SoC, system-on-FPGA, system-on board, and entire multi-board systems. Design and verification are two distinct disciplines within this methodology. Some practices are to keep the two elements separate, while others advocate for closer integration between design and verification.
gold:hypernym: dbr:Methodology
prov:wasDerivedFrom: wikipedia-en:Electronic_system-level_design_and_verification?oldid=1057897792&ns=0
dbo:wikiPageLength: 7313
foaf:isPrimaryTopicOf: wikipedia-en:Electronic_system-level_design_and_verification

Subject Item: dbr:Electronic_Systems
dbo:wikiPageWikiLink: dbr:Electronic_system-level_design_and_verification

Subject Item: dbr:Louise_Trevillyan
dbo:wikiPageWikiLink: dbr:Electronic_system-level_design_and_verification

Subject Item: dbr:Logic_simulation
dbo:wikiPageWikiLink: dbr:Electronic_system-level_design_and_verification

Subject Item: dbr:Electronic_system-level
dbo:wikiPageWikiLink: dbr:Electronic_system-level_design_and_verification
dbo:wikiPageRedirects: dbr:Electronic_system-level_design_and_verification

Subject Item: dbr:Platform-based_design
dbo:wikiPageWikiLink: dbr:Electronic_system-level_design_and_verification

Subject Item: dbr:Electronic_system-level_design
dbo:wikiPageWikiLink: dbr:Electronic_system-level_design_and_verification
dbo:wikiPageRedirects: dbr:Electronic_system-level_design_and_verification

Subject Item: dbr:Electronic_system_level
dbo:wikiPageWikiLink: dbr:Electronic_system-level_design_and_verification
dbo:wikiPageRedirects: dbr:Electronic_system-level_design_and_verification

Subject Item: dbr:Electronic_system_level_design
dbo:wikiPageWikiLink: dbr:Electronic_system-level_design_and_verification
dbo:wikiPageRedirects: dbr:Electronic_system-level_design_and_verification

Subject Item: dbr:System-level_design
dbo:wikiPageWikiLink: dbr:Electronic_system-level_design_and_verification
dbo:wikiPageRedirects: dbr:Electronic_system-level_design_and_verification

Subject Item: dbr:ESL_Design
dbo:wikiPageWikiLink: dbr:Electronic_system-level_design_and_verification
dbo:wikiPageRedirects: dbr:Electronic_system-level_design_and_verification

Subject Item: wikipedia-en:Electronic_system-level_design_and_verification
foaf:primaryTopic: dbr:Electronic_system-level_design_and_verification