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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-globalhttps://global.dbpedia.org/id/
dbpedia-hehttp://he.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n5http://dbpedia.org/resource/EVE/

Statements

Subject Item
dbr:Processor_design
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Semulation
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Software_rendering
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Application-specific_integrated_circuit
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:System_on_a_chip
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:SystemVerilog
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Formal_equivalence_checking
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Functional_verification
owl:sameAs
dbpedia-global:4jggg freebase:m.09h7q5 dbpedia-zh:功能验证 wikidata:Q5508853 dbpedia-he:אימות_שבבים
rdfs:label
功能验证 Functional verification
prov:wasDerivedFrom
wikipedia-en:Functional_verification?oldid=1296224613&ns=0
dbo:description
stage of electronic circuit design validation
dbo:wikiPageWikiLink
dbr:Mentor_Graphics dbr:Intelligent_verification dbr:Breker_Verification_Systems,_Inc. dbr:Constraint_satisfaction_problem dbr:Electronic_design_automation n5:ZeBu dbc:Logic_in_computer_science dbr:Cadence_Design_Systems dbr:Program_verification dbr:Simulator dbr:Digital_circuit dbr:Nusym_Technology dbr:Random_test_generator dbr:Formal_verification dbr:Device_driver dbr:Machine_code_monitor dbr:Cleanroom_software_engineering dbc:Electronic_circuit_verification dbr:High-level_verification dbr:OneSpin_Solutions dbr:Lint_programming_tool dbr:Aldec dbr:Synopsys dbr:Analog_verification dbr:Logic_simulation dbr:Arrow_Devices dbr:Hardware_emulation dbr:Dynamic_verification dbr:Register_transfer_level dbr:Code_coverage dbr:Valtrix_Systems dbr:NP-hard
dct:subject
dbc:Logic_in_computer_science dbc:Electronic_circuit_verification
foaf:isPrimaryTopicOf
wikipedia-en:Functional_verification
dbp:wikiPageUsesTemplate
dbt:Short_description dbt:Reflist dbt:Use_American_English
gold:hypernym
dbr:Task
Subject Item
wikipedia-en:Functional_verification
foaf:primaryTopic
dbr:Functional_verification
Subject Item
dbr:Integrated_circuit_design
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Intelligent_verification
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Verification_and_validation
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Electronic_design_automation
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:C_to_HDL
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Integrated_circuit
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Verification
dbo:wikiPageDisambiguates
dbr:Functional_verification
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Hardware_acceleration
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:XAP_processor
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Hardware_description_language
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Logic_simulation
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Logic_synthesis
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Hardware_emulation
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Random_test_generator
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:SystemC
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
n5:ZeBu
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Symbolic_trajectory_evaluation
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Reference_Verification_Methodology
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Design_closure
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Design_for_testing
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Signoff_(electronic_design_automation)
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:High-level_verification
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Nusym_Technology
dbo:wikiPageWikiLink
dbr:Functional_verification
Subject Item
dbr:Arteris
dbo:wikiPageWikiLink
dbr:Functional_verification