アサーションベース設計

Ａｓｓｅｒｔｉｏｎーｂａｓｅｄ　ｄｅｓｉｇｎ．２ｎｄ　ｅｄ．

丸善出版
東野輝夫　岡野浩三　中田明夫　ハリー・Ｄ．フォスター　アダム・Ｃ．クロルニック　デヴィッド・Ｊ．レーシー　

• 価格: 8,800円（本体8,000円＋税）
• 発行年月: 2004年09月
• 判型: Ａ５
• ISBN: 9784621074497

内容情報

[BOOKデータベースより]

ＬＳＩ設計者・ＬＳＩシステム設計者、ＥＤＡソフトウェア開発・販売会社の技術者、およびＬＳＩ設計の大学研究者の必読書。検査すべき仕様をアサーションとして記述することで、仕様・設計意図の明確化とコンピュータ実行が可能になり、設計の品質の向上と設計時間・検証時間の短縮の両立が実現できる。本書では、アサーション設計の有効性、設計手法のなかでの位置づけ、その具体的な適用方法などについて、豊富なアサーションの実例を用いながら、実装に必要な重要項目をわかりやすく解説。

第１章　はじめに
第２章　アサーション手法
第３章　ＲＴＬプロパティの仕様記述
第４章　ＰＬＩベース・アサーション
第５章　機能カバレッジ
第６章　アサーション・パターン
第７章　アサーション・クックブック
第８章　正確な動作の仕様記述
付録Ａ　ＯＰＥＮ　ＶＥＲＩＦＩＣＡＴＩＯＮ　ＬＩＢＲＡＲＹ
付録Ｂ　ＰＳＬ　ＰＲＯＰＥＲＴＹ　ＳＰＥＣＩＦＩＣＡＴＩＯＮ　ＬＡＮＧＵＡＧＥ
付録Ｃ　Ｓｙｓｔｅｍ　Ｖｅｒｉｌｏｇ　アサーション

[日販商品データベースより]

アサーション設計の有効性、設計手法の中での位置づけ、その具体的な適用方法などについて、豊富なアサーションの実例を用いながら、実装に必要な重要項目を平易に解説。ＬＳＩ設計者・ＬＳＩシステム設計者必読。