「形式等価判定」を解説文に含む見出し語の検索結果(1～10/13件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2014/03/16 22:54 UTC 版)「形式等価判定」の記事における「等価判定と抽象化レベル」の解説一般に、抽象化レベルの異な...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2014/03/16 22:54 UTC 版)「形式等価判定」の記事における「同期回路の等価性」の解説レジスタ転送レベル（RTL）での...
形式等価判定（けいしきとうかはんてい、Formal Equivalence Checking）は EDAの一部であり、デジタル集積回路の開発過程において、ある回路設計についての2つの表現が同じ振る舞い...
形式等価判定（けいしきとうかはんてい、Formal Equivalence Checking）は EDAの一部であり、デジタル集積回路の開発過程において、ある回路設計についての2つの表現が同じ振る舞い...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/04/19 14:04 UTC 版)「集積回路設計」の記事における「物理設計」の解説以下に物理設計の主な工程を列挙する。これ...
形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
集積回路設計（しゅうせきかいろせっけい）の記事では、集積回路の設計について解説する。主な領域を占める電子工学の他、半導体物性等から論理設計など応用分野に応じた各種の知識と技術も必要である。集積回路その...
集積回路設計（しゅうせきかいろせっけい）の記事では、集積回路の設計について解説する。主な領域を占める電子工学の他、半導体物性等から論理設計など応用分野に応じた各種の知識と技術も必要である。集積回路その...
< 前の結果 | 次の結果 >