Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/High-level_verification> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- High-level_verification abstract "High-level verification (HLV), or electronic system-level (ESL) verification, is the task to verify ESL designs at high abstraction level, i.e., it is the task to verify a model that represents hardware above register-transfer level (RTL) abstract level. For high-level synthesis (HLS or C synthesis), HLV is to HLS as functional verification is to logic synthesis.Electronic digital hardware design has evolved from low level abstraction at gate level to register transfer level (RTL), the abstraction level above RTL is commonly called high-level, ESL, or behavioral/algorithmic level.In high-level synthesis, behavioral/algorithmic designs in ANSI C/C++/SystemC code is synthesized to RTL, which is then synthesized into gate level through logic synthesis. Functional verification is the task to make sure a design at RTL or gate level conforms to a specification. As logic synthesis matures, most functional verification is done at the higher abstraction, i.e. at RTL level, the correctness of logic synthesis tool in the translating process from RTL description to gate netlist is a less concern today.High-level synthesis is still an emerging technology, so High-level verification today has two important areas under development to validate HLS is correct in the translation process, i.e. to validate the design before and after HLS are equivalent, typically through formal methods to verify a design in ANSI C/C++/SystemC code is conforming to a specification, typically through logic simulation.".
- High-level_verification wikiPageExternalLink www.accellera.org.
- High-level_verification wikiPageExternalLink NASCUG10-1.pdf.
- High-level_verification wikiPageExternalLink NASCUG-2006-JEDA-presentation.pdf.
- High-level_verification wikiPageID "23896938".
- High-level_verification wikiPageLength "2822".
- High-level_verification wikiPageOutDegree "22".
- High-level_verification wikiPageRevisionID "679428600".
- High-level_verification wikiPageWikiLink Accellera.
- High-level_verification wikiPageWikiLink Category:Electronic_design_automation.
- High-level_verification wikiPageWikiLink Digital_electronics.
- High-level_verification wikiPageWikiLink Electronic_system-level_design_and_verification.
- High-level_verification wikiPageWikiLink Formal_methods.
- High-level_verification wikiPageWikiLink Formal_verification.
- High-level_verification wikiPageWikiLink Functional_verification.
- High-level_verification wikiPageWikiLink High-level_synthesis.
- High-level_verification wikiPageWikiLink Logic_simulation.
- High-level_verification wikiPageWikiLink Logic_synthesis.
- High-level_verification wikiPageWikiLink Property_Specification_Language.
- High-level_verification wikiPageWikiLink Register-transfer_level.
- High-level_verification wikiPageWikiLink SystemC.
- High-level_verification wikiPageWikiLink SystemVerilog.
- High-level_verification wikiPageWikiLink Transaction-level_modeling.
- High-level_verification wikiPageWikiLinkText "High-level verification".
- High-level_verification wikiPageWikiLinkText "high-level verification".
- High-level_verification wikiPageUsesTemplate Template:Cite_book.
- High-level_verification wikiPageUsesTemplate Template:Empty_section.
- High-level_verification wikiPageUsesTemplate Template:Unbalanced.
- High-level_verification subject Category:Electronic_design_automation.
- High-level_verification hypernym Task.
- High-level_verification type Agent.
- High-level_verification comment "High-level verification (HLV), or electronic system-level (ESL) verification, is the task to verify ESL designs at high abstraction level, i.e., it is the task to verify a model that represents hardware above register-transfer level (RTL) abstract level.".
- High-level_verification label "High-level verification".
- High-level_verification sameAs Q5754573.
- High-level_verification sameAs m.07kc2cc.
- High-level_verification sameAs Q5754573.
- High-level_verification sameAs 高级验证.
- High-level_verification wasDerivedFrom High-level_verification?oldid=679428600.
- High-level_verification isPrimaryTopicOf High-level_verification.