資料詳細

Ben Cohen/著 -- 丸善 -- 2006.1 -- 549.7

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 状態
9書庫 /549.7/シ/ 8133055403 一般 館内有

資料詳細

書名 SystemVerilogアサーション・ハンドブック
著者名 Ben Cohen /著, Srinivasan Venkataramanan /著, Ajeetha Kumari /著, 三橋 明城男 /共訳, 朽木 順一 /共訳, 茂木 幸夫 /共訳, 小笠原 敦 /共訳, 明石 貴昭 /共訳  
出版者 丸善
出版年 2006.1
ページ数 43,367p
大きさ 21cm
翻訳原書名注記 原タイトル:System Verilog assertions handbook
一般件名 ハードウェア記述言語
NDC分類(9版) 549.7
著者紹介 HDLとプロパティ言語のトレーナー/コンサルタント。
内容紹介 SystemVerilogのアサーション面に焦点を合わせるだけでなく、言語概念の説明を行い、SystemVerilogアサーション(SVA)をアサーションベース検証手法で効果的に使用する方法を示す。
ISBN 4-621-07612-4