資料詳細

  • 1 件中、 1 件目

アサ－ションベ－ス設計   貸出可

Ｈａｒｒｙ　Ｄ　Ｆｏｓｔｅｒ／著 -- 丸善（発売） -- ２００４．９ -- 549.7

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫５門 /549/Ｆ４１/ 0010004065336 一般図書 書架

ページの先頭へ

資料詳細

タイトル１ アサ－ションベ－ス設計 
著者１ Ｈａｒｒｙ　Ｄ　Ｆｏｓｔｅｒ ／著, Ａｄａｍ　Ｃ　Ｋｒｏｌｎｉｋ ／著, Ｄａｖｉｄ　Ｊ　Ｌａｃｅｙ ／著, 東野輝夫 ／監訳, 岡野浩三 ／監訳, 中田明夫 ／監訳, 後藤謙治 ／訳（代表）  
出版年 ２００４．９
出版者 丸善（発売）
一般件名 集積回路
ページ数 ５０６ｐ
大きさ ２１ｃｍ
ISBN 4-621-07449-0
NDC分類(10版) 549.7
内容紹介 ＬＳＩ設計技術者およびＬＳＩを使用するシステム設計者らの必読書。アサ－ション設計の有効性、位置づけ、適用方法等について、豊富な実例を用いて実装に必要な重要項目について解説。原著第２版の翻訳。

ページの先頭へ

著者紹介

著者紹介１－１ Ａｃｃｅｌｌｅｒａ　Ｆｏｒｍａｌ　Ｖｅｒｉｆｉｃａｔｉｏｎ技術委員会の主査。
著者紹介１－２ Ａｃｃｅｌｌｅｒａ　Ｓｙｓｔｅｍ　Ｖｅｒｉｌｏｇアサ－ション委員会の委員。