Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Formal_equivalence_checking> ?p ?o }
Showing triples 1 to 65 of
65
with 100 triples per page.
- Formal_equivalence_checking abstract "Formal equivalence checking process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior.".
- Formal_equivalence_checking wikiPageExternalLink cadp.
- Formal_equivalence_checking wikiPageID "1046024".
- Formal_equivalence_checking wikiPageLength "7858".
- Formal_equivalence_checking wikiPageOutDegree "41".
- Formal_equivalence_checking wikiPageRevisionID "706300424".
- Formal_equivalence_checking wikiPageWikiLink Binary_decision_diagram.
- Formal_equivalence_checking wikiPageWikiLink Boolean_satisfiability_problem.
- Formal_equivalence_checking wikiPageWikiLink Cadence_Design_Systems.
- Formal_equivalence_checking wikiPageWikiLink Category:Electronic_circuit_verification.
- Formal_equivalence_checking wikiPageWikiLink Category:Formal_methods.
- Formal_equivalence_checking wikiPageWikiLink Clock_signal.
- Formal_equivalence_checking wikiPageWikiLink Design.
- Formal_equivalence_checking wikiPageWikiLink Design_for_testing.
- Formal_equivalence_checking wikiPageWikiLink Digital_electronics.
- Formal_equivalence_checking wikiPageWikiLink or_area.
- Formal_equivalence_checking wikiPageWikiLink Electronic_design_automation.
- Formal_equivalence_checking wikiPageWikiLink Engineering_change_order.
- Formal_equivalence_checking wikiPageWikiLink Exponentiation.
- Formal_equivalence_checking wikiPageWikiLink Formal_methods.
- Formal_equivalence_checking wikiPageWikiLink Formal_verification.
- Formal_equivalence_checking wikiPageWikiLink Functional_verification.
- Formal_equivalence_checking wikiPageWikiLink Hardware_description_language.
- Formal_equivalence_checking wikiPageWikiLink Instruction_set.
- Formal_equivalence_checking wikiPageWikiLink Integrated_circuit.
- Formal_equivalence_checking wikiPageWikiLink Integrated_circuit_layout.
- Formal_equivalence_checking wikiPageWikiLink Logic_simulation.
- Formal_equivalence_checking wikiPageWikiLink Logic_synthesis.
- Formal_equivalence_checking wikiPageWikiLink Logical_equivalence.
- Formal_equivalence_checking wikiPageWikiLink Magma_Design_Automation.
- Formal_equivalence_checking wikiPageWikiLink Mentor_Graphics.
- Formal_equivalence_checking wikiPageWikiLink Microprocessor.
- Formal_equivalence_checking wikiPageWikiLink Netlist.
- Formal_equivalence_checking wikiPageWikiLink OneSpin_Solutions.
- Formal_equivalence_checking wikiPageWikiLink Principle_of_abstraction.
- Formal_equivalence_checking wikiPageWikiLink Propositional_formula.
- Formal_equivalence_checking wikiPageWikiLink Register-transfer_level.
- Formal_equivalence_checking wikiPageWikiLink Synchronous_circuit.
- Formal_equivalence_checking wikiPageWikiLink Synopsys.
- Formal_equivalence_checking wikiPageWikiLink SystemC.
- Formal_equivalence_checking wikiPageWikiLink Tape-out.
- Formal_equivalence_checking wikiPageWikiLink VHDL.
- Formal_equivalence_checking wikiPageWikiLink Verilog.
- Formal_equivalence_checking wikiPageWikiLinkText "Equivalence Checker".
- Formal_equivalence_checking wikiPageWikiLinkText "Equivalence checking".
- Formal_equivalence_checking wikiPageWikiLinkText "Formal equivalence checking".
- Formal_equivalence_checking wikiPageWikiLinkText "formal equivalence checking".
- Formal_equivalence_checking wikiPageWikiLinkText "logic to layout comparison".
- Formal_equivalence_checking wikiPageWikiLinkText "making sure the mapping to logic was done correctly".
- Formal_equivalence_checking wikiPageUsesTemplate Template:Digital_systems.
- Formal_equivalence_checking subject Category:Electronic_circuit_verification.
- Formal_equivalence_checking subject Category:Formal_methods.
- Formal_equivalence_checking hypernym Part.
- Formal_equivalence_checking type Area.
- Formal_equivalence_checking type Area.
- Formal_equivalence_checking type Method.
- Formal_equivalence_checking comment "Formal equivalence checking process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior.".
- Formal_equivalence_checking label "Formal equivalence checking".
- Formal_equivalence_checking sameAs Q5469962.
- Formal_equivalence_checking sameAs 形式等価判定.
- Formal_equivalence_checking sameAs m.0417q6.
- Formal_equivalence_checking sameAs Q5469962.
- Formal_equivalence_checking sameAs 形式等效性检查.
- Formal_equivalence_checking wasDerivedFrom Formal_equivalence_checking?oldid=706300424.
- Formal_equivalence_checking isPrimaryTopicOf Formal_equivalence_checking.