T-SITE

本、DVD、CD、ゲームの通販 【TSUTAYA オンラインショッピング】

Vポイントの確認
マイページ（注文履歴）
お気に入りリスト
買い物かごを見る
  • HOME
  • 本／コミック
  • 雑誌
  • DVD／ブルーレイ
  • CD/音楽DVD
  • ゲーム
  • 文具・雑貨／グッズ
  • アニメ
詳細検索

この商品について

ジャンル
書籍
作品シリーズ名
Design　wave　advance
作品情報
ベリフィケーション・メソドロジ・マニュアル

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

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

Ｓｙｓｔｅｍ　ＶｅｒｉｌｏｇでＬＳＩ機能検証プロセ
Design　wave　advance
著者： Ｊａｎｉｃｋ　Ｂｅｒｇｅｒｏｎ   著者： Ｅｄｕａｒｄ　Ｃｅｒｎｙ  
書籍 
出版社：ＣＱ出版
発売日： 2006年3月
mixiチェック
  • 価格（税込）：4,180円
  • Vポイント：19pt
  • 在庫なし お気に入りリストへ
  • 在庫なし

この商品の説明

本書は、ディジタルＬＳＩ開発の機能検証に関する指針をまとめたノウハウ集です。検証計画やテストベンチ、アサーション、カバレッジ、システム・レベル検証の具体的なルールや推奨事項について解説しています。ＳｏＣ（Ｓｙｓｔｅｍ　ｏｎ　ａ　Ｃｈｉｐ）やＡＳＩＣ（Ａｐｐｌｉｃａｔｉｏｎ　Ｓｐｅｃｉｆｉｃ　Ｉｎｔｅｇｒａｔｅｄ　Ｃｉｒｃｕｉｔ）の開発に携わる設計エンジニア、検証エンジニア、システム・アーキテクト、設計マネージャにとって必携の解説書です。

著者/アーティスト

著者: Ｊａｎｉｃｋ　Ｂｅｒｇｅｒｏｎ 、 著者: Ｅｄｕａｒｄ　Ｃｅｒｎｙ 、 著者: Ａｌａｎ　Ｈｕｎｔｅｒ 、 著者: Ａｎｄｒｅｗ　Ｎｉｇｈｔｉｎｇａｌｅ 、 監訳: ＳＴＡＲＣ 、 監訳: ＡＲＭ 、 監訳: Ｓｙｎｏｐｓｙｓ

目次

イントロダクション；検証計画；アサーション；テストベンチ・インフラストラクチャ；スティミュラスとレスポンス；カバレッジ・ドリブン検証；フォーマル検証ツールに対応するアサーション；システム・レベル検証；プロセッサ統合検証；ＶＭＭ標準ライブラリの仕様；ＶＭＭチェッカ・ライブラリ；ＸＶＣ標準ライブラリ仕様；ソフトウェア・テスト・フレームワーク

商品仕様

  • アイテム名:書籍
  • ページ数:４５５ｐ
  • 大きさ:２４×１９ｃｍ
  • 出版社:ＣＱ出版
  • ISBN-10:4789836150
  • ISBN-13:9784789836159

【お届けの際のご注意】
▼発送時期について

BOOK予約商品のお届けにつきましては直送・店舗受取りにかかわらず、弊社倉庫に届き次第、発送手配を行います。

また、原則として、発売日に弊社の倉庫に到着するため一般の書店よりも数日お届けが遅れる場合がございます。

なお、書籍と書籍以外の商品（DVD、CD、ゲーム、GOODSなど）を併せてご購入の場合、商品のお届けに時間がかかる場合があります。あらかじめご了承ください。


▼本・コミックの価格表示について

本サイト上で表示されている商品の価格（以下「表示価格」といいます）は、本サイト上で当該商品の表示を開始した時点の価格となります。

この価格は、売買契約成立時までに変動する可能性があります。

利用者が実際に商品を購入するために支払う金額は、ご利用されるサービスに応じて異なりますので、

詳しくはオンラインショッピングサービス利用規約をご確認ください。

なお、価格変動による補填、値引き等は一切行っておりません。

 

■オンラインショッピングサービス利用規約

(1) 宅配サービス：第2章【宅配サービス】第6条において定めます。

(2) TOLピックアップサービス：第3章【TOLピックアップサービス】第12条において定めます。

 

【サイト表記の書籍カバーについて】

書籍のカバーは、期間限定で変更する場合がございます。

そのためサイト上で表記されたものとお届けした作品のカバーが異なる場合がございます。

カバー違いによる交換は行っておりません。