形式等価判定
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2014/03/16 22:54 UTC 版)
形式等価判定(けいしきとうかはんてい、Formal Equivalence Checking)は EDAの一部であり、デジタル集積回路の開発過程において、ある回路設計についての2つの表現が同じ振る舞いを表していることを形式的に証明するために用いられる手法。
- 1 形式等価判定とは
- 2 形式等価判定の概要
- 3 等価判定の商用製品
- 形式等価判定のページへのリンク
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2014/03/16 22:54 UTC 版)
形式等価判定(けいしきとうかはんてい、Formal Equivalence Checking)は EDAの一部であり、デジタル集積回路の開発過程において、ある回路設計についての2つの表現が同じ振る舞いを表していることを形式的に証明するために用いられる手法。
形式等価判定のお隣キーワード |
形式等価判定のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。
All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアの形式等価判定 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。 |
ビジネス|業界用語|コンピュータ|電車|自動車・バイク|船|工学|建築・不動産|学問
文化|生活|ヘルスケア|趣味|スポーツ|生物|食品|人名|方言|辞書・百科事典
ご利用にあたって | 便利な機能 | お問合せ・ご要望 | 会社概要 | ウェブリオのサービス |
©2024 GRAS Group, Inc.RSS