「等価判定と抽象化レベル」を解説文に含む見出し語の検索結果(1~3/3件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2014/03/16 22:54 UTC 版)「形式等価判定」の記事における「等価判定と抽象化レベル」の解説一般に、抽象化レベルの異な...
形式等価判定(けいしきとうかはんてい、Formal Equivalence Checking)は EDAの一部であり、デジタル集積回路の開発過程において、ある回路設計についての2つの表現が同じ振る舞い...
形式等価判定(けいしきとうかはんてい、Formal Equivalence Checking)は EDAの一部であり、デジタル集積回路の開発過程において、ある回路設計についての2つの表現が同じ振る舞い...
< 前の結果 | 次の結果 >