資料詳細

  • 1 件中、 1 件目

【図書】 ベリフィケーション・メソドロジ・マニュアル

Ｓｙｓｔｅｍ　ＶｅｒｉｌｏｇでＬＳＩ機能検証プロセスを徹底改善 -- Ｄｅｓｉｇｎ　ｗａｖｅ　ａｄｖａｎｃｅ --
Ｊａｎｉｃｋ　Ｂｅｒｇｅｒｏｎ ／他著, ＳＴＡＲＣ（半導体理工学研究センター） ／監訳, Ａｒｍ　Ｌｉｍｉｔｅｄ ／監訳, Ｓｙｎｏｐｓｙｓ，Ｉｎｃ． ／監訳   -- ＣＱ出版 -- ２００６．４ -- ２４ｃｍ -- ４５５ｐ

資料詳細

タイトル ベリフィケーション・メソドロジ・マニュアル
副書名 Ｓｙｓｔｅｍ　ＶｅｒｉｌｏｇでＬＳＩ機能検証プロセスを徹底改善
シリーズ名 Ｄｅｓｉｇｎ　ｗａｖｅ　ａｄｖａｎｃｅ
著者名等 Ｊａｎｉｃｋ　Ｂｅｒｇｅｒｏｎ ／他著, ＳＴＡＲＣ（半導体理工学研究センター） ／監訳, Ａｒｍ　Ｌｉｍｉｔｅｄ ／監訳, Ｓｙｎｏｐｓｙｓ，Ｉｎｃ． ／監訳  
出版 ＣＱ出版 ２００６．４
大きさ等 ２４ｃｍ ４５５ｐ
分類 549.7
件名 集積回路
注記 Ｖｅｒｉｆｉｃａｔｉｏｎ　ｍｅｔｈｏｄｏｌｏｇｙ　ｍａｎｕａｌ　ｆｏｒ　Ｓｙｓｔｅｍ　Ｖｅｒｉｌｏｇ．／の翻訳
注記 索引あり
注記 奥付の監訳者名（誤植）：Ａｒｍ　Ｌｉｍｉｔｄ
要旨 本書は、ディジタルＬＳＩ開発の機能検証に関する指針をまとめたノウハウ集です。検証計画やテストベンチ、アサーション、カバレッジ、システム・レベル検証の具体的なルールや推奨事項について解説しています。ＳｏＣ（Ｓｙｓｔｅｍ　ｏｎ　ａ　Ｃｈｉｐ）やＡＳＩＣ（Ａｐｐｌｉｃａｔｉｏｎ　Ｓｐｅｃｉｆｉｃ　Ｉｎｔｅｇｒａｔｅｄ　Ｃｉｒｃｕｉｔ）の開発に携わる設計エンジニア、検証エンジニア、システム・アーキテクト、設計マネージャにとって必携の解説書です。
目次 イントロダクション；検証計画；アサーション；テストベンチ・インフラストラクチャ；スティミュラスとレスポンス；カバレッジ・ドリブン検証；フォーマル検証ツールに対応するアサーション；システム・レベル検証；プロセッサ統合検証；ＶＭＭ標準ライブラリの仕様；ＶＭＭチェッカ・ライブラリ；ＸＶＣ標準ライブラリ仕様；ソフトウェア・テスト・フレームワーク
ISBN(13)、ISBN 　　 4-7898-3615-0
書誌番号 1106020885
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1106020885

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 549.7 一般書 利用可 - 2036195536 iLisvirtual

ページの先頭へ