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

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

Namespace Prefixes

PrefixIRI
n19http://www.eetimes.com/
dcthttp://purl.org/dc/terms/
n20https://www.onespin.com/products/360-ec-fpga/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-globalhttps://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n10http://
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n11http://dbpedia.org/resource/Drive_strength_and/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n4https://apps.dtic.mil/sti/pdfs/

Statements

Subject Item
dbr:True_quantified_Boolean_formula
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:Layout_Versus_Schematic
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:Formal_equivalence_checking
owl:sameAs
dbpedia-zh:形式等效性检查 dbpedia-ja:形式等価判定 freebase:m.0417q6 wikidata:Q5469962 yago-res:Formal_equivalence_checking dbpedia-global:4jKbL dbpedia-uk:Формальна_перевірка_еквівалентності
rdfs:label
Formal equivalence checking Формальна перевірка еквівалентності 形式等価判定 形式等效性检查
prov:wasDerivedFrom
wikipedia-en:Formal_equivalence_checking?oldid=1220785137&ns=0
dbo:description
stage of electronic circuit design verification
dbo:wikiPageExternalLink
n4:ADA470446.pdf n10:cadp.inria.fr n19:document.asp%3Fdoc_id=1271433 n20:
dbo:wikiPageWikiLink
dbr:Circuit_design dbr:Logical_equivalence dbr:Electronic_design_automation n11:or_area dbr:Synopsys dbr:Engineering_Change_Order dbc:Formal_methods dbr:Synchronous_circuit dbr:Exponent dbr:Formal_verification dbr:Design_For_Test dbr:Propositional_formula dbr:Integrated_circuit dbr:Microprocessor dbr:Digital_circuit dbr:Cadence_Design_Systems dbr:Netlist dbr:Clock_cycle dbr:Tape-out dbr:ATEC_Technologies,_Inc. dbr:Logic_simulation dbr:Logic_synthesis dbr:Hardware_description_language dbr:Verilog dbc:Electronic_circuit_verification dbr:Formal_methods dbr:Register_transfer_level dbr:OneSpin_Solutions dbr:Physical_layout dbr:SystemC dbr:Level_of_abstraction dbr:VHDL dbr:Boolean_satisfiability_problem dbr:Mentor_Graphics dbr:Instruction_set dbr:Binary_decision_diagram dbr:Functional_verification
dct:subject
dbc:Formal_methods dbc:Electronic_circuit_verification
foaf:isPrimaryTopicOf
wikipedia-en:Formal_equivalence_checking
dbp:wikiPageUsesTemplate
dbt:Digital_systems dbt:ISBN dbt:Short_description dbt:Use_American_English
gold:hypernym
dbr:Part
Subject Item
wikipedia-en:Formal_equivalence_checking
foaf:primaryTopic
dbr:Formal_equivalence_checking
Subject Item
dbr:Engineering_change_order
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:Phil_Kaufman_Award
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:Integrated_circuit_design
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:Electronic_design_automation
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:Circuit_extraction
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:Equivalence_checking
dbo:wikiPageRedirects
dbr:Formal_equivalence_checking
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:Boolean_satisfiability_problem
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:Lec
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:And-inverter_graph
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:TAPAs_model_checker
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:Formal_verification
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:Design_closure
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:Functional_equivalence
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:Logic_Equivalence_Checking
dbo:wikiPageRedirects
dbr:Formal_equivalence_checking
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking
Subject Item
dbr:Logic_equivalence_check
dbo:wikiPageRedirects
dbr:Formal_equivalence_checking
dbo:wikiPageWikiLink
dbr:Formal_equivalence_checking