資料詳細

  • 1 件中、 1 件目

【図書】 アサーションベース設計

東野輝夫 ／監訳, 岡野浩三 ／監訳, 中田明夫 ／監訳, Ｈａｒｒｙ　Ｄ．Ｆｏｓｔｅｒ ／著, Ａｄａｍ　Ｃ．Ｋｒｏｌｎｉｋ ／著, Ｄａｖｉｄ　Ｊ．Ｌａｃｅｙ ／著, 後藤謙治 ／〔ほか〕訳   -- 丸善 -- ２００４．９ -- ２１ｃｍ -- ５０６ｐ

資料詳細

タイトル アサーションベース設計
著者名等 東野輝夫 ／監訳, 岡野浩三 ／監訳, 中田明夫 ／監訳, Ｈａｒｒｙ　Ｄ．Ｆｏｓｔｅｒ ／著, Ａｄａｍ　Ｃ．Ｋｒｏｌｎｉｋ ／著, Ｄａｖｉｄ　Ｊ．Ｌａｃｅｙ ／著, 後藤謙治 ／〔ほか〕訳  
出版 丸善 ２００４．９
大きさ等 ２１ｃｍ ５０６ｐ
分類 007.61
件名 システム設計
注記 Ａｓｓｅｒｔｉｏｎ－ｂａｓｅｄ　ｄｅｓｉｇｎ．２ｎｄ　ｅｄ．／の翻訳
注記 文献あり　索引あり
内容紹介 アサーション設計の有効性、設計手法の中での位置づけ、その具体的な適用方法などについて、豊富なアサーションの実例を用いながら、実装に必要な重要項目を平易に解説。ＬＳＩ設計者・ＬＳＩシステム設計者必読。
要旨 ＬＳＩ設計者・ＬＳＩシステム設計者、ＥＤＡソフトウェア開発・販売会社の技術者、およびＬＳＩ設計の大学研究者の必読書。検査すべき仕様をアサーションとして記述することで、仕様・設計意図の明確化とコンピュータ実行が可能になり、設計の品質の向上と設計時間・検証時間の短縮の両立が実現できる。本書では、アサーション設計の有効性、設計手法のなかでの位置づけ、その具体的な適用方法などについて、豊富なアサーションの実例を用いながら、実装に必要な重要項目をわかりやすく解説。
目次 第１章　はじめに；第２章　アサーション手法；第３章　ＲＴＬプロパティの仕様記述；第４章　ＰＬＩベース・アサーション；第５章　機能カバレッジ；第６章　アサーション・パターン；第７章　アサーション・クックブック；第８章　正確な動作の仕様記述；付録Ａ　ＯＰＥＮ　ＶＥＲＩＦＩＣＡＴＩＯＮ　ＬＩＢＲＡＲＹ；付録Ｂ　ＰＳＬ　ＰＲＯＰＥＲＴＹ　ＳＰＥＣＩＦＩＣＡＴＩＯＮ　ＬＡＮＧＵＡＧＥ；付録Ｃ　Ｓｙｓｔｅｍ　Ｖｅｒｉｌｏｇ　アサーション
ISBN(13)、ISBN 　　 4-621-07449-0
書誌番号 1104069963
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1104069963

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/13931 一般書 利用可 - 2032760107 iLisvirtual

ページの先頭へ