資料詳細

  • 1 件中、 1 件目

[ 和図書 ] SystemVerilogアサーション・ハンドブック

Ben Cohen／著 -- 丸善 -- 2006.1 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /549.7/5043/2006 5012128887 Digital BookShelf
2006/02/27 可能 利用可   0
Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細 閉じる

ISBN 4-621-07612-4
タイトル SystemVerilogアサーション・ハンドブック
タイトルカナ システム ヴェリログ アサーション ハンドブック
著者名 Ben Cohen ／著, Srinivasan Venkataramanan ／著, Ajeetha Kumari ／著, 三橋 明城男 ／共訳, 朽木 順一 ／共訳, 茂木 幸夫 ／共訳, 小笠原 敦 ／共訳, 明石 貴昭 ／共訳
著者名典拠番号

120002281970000 , 120002281980000 , 120002281990000 , 110004593970000 , 110004593980000 , 110004594000000 , 110004594030000 , 110004297650000

出版地 東京
出版者 丸善
出版者カナ マルゼン
出版年 2006.1
ページ数 43, 367p
大きさ 21cm
原タイトル注記 原タイトル:System Verilog assertions handbook
都立翻訳原書名注記 原タイトル:System Verilog assertions handbook
価格 ¥4900
内容紹介 SystemVerilogのアサーション面に焦点を合わせるだけでなく、言語概念の説明を行い、SystemVerilogアサーション(SVA)をアサーションベース検証手法で効果的に使用する方法を示す。
一般件名 集積回路
一般件名カナ シュウセキカイロ
一般件名 ハードウェア記述言語
一般件名カナ ハードウェア キジュツ ゲンゴ
一般件名典拠番号

510919900000000

分類：都立NDC10版 549.7
資料情報1 『SystemVerilogアサーション・ハンドブック』　Ben Cohen／著, Srinivasan Venkataramanan／著 , Ajeetha Kumari／著　丸善　2006.1（所蔵館：中央　 請求記号：/549.7/5043/2006　 資料コード：5012128887）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1106756973

ページの先頭へ