Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Hardware verification languages
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
14325790
(xsd:integer)
dbo:
wikiPageRevisionID
547609462
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Cat_main
rdf:
type
skos
:Concept
rdfs:
label
Hardware verification languages
(en)
skos:
broader
dbc
:Electronic_design_automation
dbc
:Formal_specification_languages
dbc
:Hardware_description_languages
dbc
:Electronic_engineering
skos:
prefLabel
Hardware verification languages
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Hardware_verification_languages?oldid=547609462&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Property_Specification_Language
dbr
:E_Reuse_Methodology
dbr
:SystemC
dbr
:Hardware_verification_language
dbr
:E_(verification_language)
dbr
:SystemVerilog_DPI
dbr
:Reference_Verification_Methodology
dbr
:SystemVerilog
dbr
:Specman
dbr
:OpenVera
dbr
:SystemC_AMS
is
dcterms:
subject
of
dbr
:Property_Specification_Language
dbr
:E_Reuse_Methodology
dbr
:SystemC
dbr
:Hardware_verification_language
dbr
:E_(verification_language)
dbr
:SystemVerilog_DPI
dbr
:Reference_Verification_Methodology
dbr
:SystemVerilog
dbr
:Specman
dbr
:OpenVera
dbr
:SystemC_AMS
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License