About: Formal equivalence checking

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Stage of electronic circuit design verification

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