アサーションベース設計 原書２版

Ｆｏｓｔｅｒ，Ｈａｒｒｙ Ｄ．/Ｋｒｏｌｎｉｋ，Ａｄａｍ Ｃ．/Ｌａｃｅｙ，Ｄａｖｉｄ Ｊ．【著】/東野 輝夫/岡野 浩三/中田 明夫【監訳】

丸善出版（2004/09発売）

• サイズ A5判／ページ数 506p／高さ 21cm
• 商品コード 9784621074497
• NDC分類 007.61
• Cコード C3055

内容説明

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

目次

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

著者等紹介

東野輝夫［ヒガシノテルオ］
大阪大学大学院情報科学研究科情報ネットワーク学専攻

岡野浩三［オカノコウゾウ］
大阪大学大学院情報科学研究科コンピュータサイエンス専攻

中田明夫［ナカタアキオ］
大阪大学大学院情報科学研究科情報ネットワーク学専攻
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。