アサーションベース設計
Author(s)
Bibliographic Information
アサーションベース設計
丸善, 2004.9
- Other Title
-
Assertion-based design
- Title Transcription
-
アサーション ベース セッケイ
Available at / 61 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
監訳: 東野輝夫, 岡野浩三, 中田明夫
原書2版の翻訳
文献: p[487]-492
Description and Table of Contents
Description
ＬＳＩ設計者・ＬＳＩシステム設計者、ＥＤＡソフトウェア開発・販売会社の技術者、およびＬＳＩ設計の大学研究者の必読書。検査すべき仕様をアサーションとして記述することで、仕様・設計意図の明確化とコンピュータ実行が可能になり、設計の品質の向上と設計時間・検証時間の短縮の両立が実現できる。本書では、アサーション設計の有効性、設計手法のなかでの位置づけ、その具体的な適用方法などについて、豊富なアサーションの実例を用いながら、実装に必要な重要項目をわかりやすく解説。
Table of Contents
- 第１章 はじめに
- 第２章 アサーション手法
- 第３章 ＲＴＬプロパティの仕様記述
- 第４章 ＰＬＩベース・アサーション
- 第５章 機能カバレッジ
- 第６章 アサーション・パターン
- 第７章 アサーション・クックブック
- 第８章 正確な動作の仕様記述
- 付録Ａ ＯＰＥＮ ＶＥＲＩＦＩＣＡＴＩＯＮ ＬＩＢＲＡＲＹ
- 付録Ｂ ＰＳＬ ＰＲＯＰＥＲＴＹ ＳＰＥＣＩＦＩＣＡＴＩＯＮ ＬＡＮＧＵＡＧＥ
- 付録Ｃ Ｓｙｓｔｅｍ Ｖｅｒｉｌｏｇ アサーション
by "BOOK database"
