bn:00165202n
Noun Concept
Categories: 電子工学, 形式手法
JA
形式等価判定
JA
形式等価判定(けいしきとうかはんてい、Formal Equivalence Checking)は EDAの一部であり、デジタル集積回路の開発過程において、ある回路設計についての2つの表現が同じ振る舞いを表していることを形式的に証明するために用いられる手法。 Wikipedia
Definitions
Sources
JA
形式等価判定(けいしきとうかはんてい、Formal Equivalence Checking)は EDAの一部であり、デジタル集積回路の開発過程において、ある回路設計についての2つの表現が同じ振る舞いを表していることを形式的に証明するために用いられる手法。 Wikipedia
Wikipedia
Wikidata