http://dbpedia.org/page/Category:Hardware_verification_languages

Property	Value
rdf:type	skos:Concept
rdfs:label	Hardware verification languages (en)
skos:broader	dbpedia:Category:Domain-specific_programming_languages dbpedia:Category:Electronic_engineering dbpedia:Category:Electronic_design_automation_software dbpedia:Category:Formal_specification_languages dbpedia:Category:Hardware_description_languages
skos:prefLabel	Hardware verification languages (en)
skos:subject	dbpedia:E_%28verification_language%29 dbpedia:Hardware_verification_language dbpedia:OpenVera dbpedia:Specman dbpedia:SystemC dbpedia:SystemVerilog dbpedia:Systemverilog_DPI

Hardware verification languages