ソースを表示

出典: くみこみックス

以下に示された理由により ページの編集 を行うことができません:

以下にソースを表示しています:

プロパティ・チェッキング【Property Checking】 <br> <br> 　設計された順序回路が，特定の設計仕様（プロパティ）を満たしているかどうかを判定すること．モデル・チェッキングと呼ぶ場合もある． 　ある状態遷移表現で記述された設計に対して，別の状態遷移の形式で与えられた仕様，あるいは時相論理で表現された仕様をつき合わせて検証する．実際には，設計の遷移状態を一つずつたどり，各状態が与えられた仕様を満たしているかどうかを確認する．プロパティ・チェッキングの検証対象回路は，動作が複雑で論理シミュレーションだけでは検証が困難な制御回路などである． <br> <br> 【出典】西久保 靖彦；基本システムLSI用語辞典，CQ出版社，2000年5月． <br> <br> == 関連項目 == * [[時相論理]] * [[フォーマル・ベリファイア]] [[Category:組み込み技術全般]] [[Category:LSI]]

プロパティ・チェッキング に戻る。