Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Hardware_verification_languages> . }
Showing items 1 to 10 of
10
with 100 items per page.
- ERM_(e_Reuse_Methodology) subject Category:Hardware_verification_languages.
- E_(verification_language) subject Category:Hardware_verification_languages.
- Hardware_verification_language subject Category:Hardware_verification_languages.
- OpenVera subject Category:Hardware_verification_languages.
- Property_Specification_Language subject Category:Hardware_verification_languages.
- Reference_Verification_Methodology subject Category:Hardware_verification_languages.
- Specman subject Category:Hardware_verification_languages.
- SystemC subject Category:Hardware_verification_languages.
- SystemVerilog subject Category:Hardware_verification_languages.
- SystemVerilog_DPI subject Category:Hardware_verification_languages.