Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Formal_equivalence_checking> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items 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 wikiPageRevisionID "603518309".
- Formal_equivalence_checking hasPhotoCollection Formal_equivalence_checking.
- Formal_equivalence_checking subject Category:Electronic_circuit_verification.
- Formal_equivalence_checking subject Category:Formal_methods.
- Formal_equivalence_checking type Ability105616246.
- Formal_equivalence_checking type Abstraction100002137.
- Formal_equivalence_checking type Cognition100023271.
- Formal_equivalence_checking type FormalMethods.
- Formal_equivalence_checking type Know-how105616786.
- Formal_equivalence_checking type Method105660268.
- Formal_equivalence_checking type PsychologicalFeature100023100.
- 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 label "形式等価判定".
- Formal_equivalence_checking sameAs 形式等価判定.
- Formal_equivalence_checking sameAs m.0417q6.
- Formal_equivalence_checking sameAs Q5469962.
- Formal_equivalence_checking sameAs Q5469962.
- Formal_equivalence_checking sameAs Formal_equivalence_checking.
- Formal_equivalence_checking wasDerivedFrom Formal_equivalence_checking?oldid=603518309.
- Formal_equivalence_checking isPrimaryTopicOf Formal_equivalence_checking.