アサーションベース設計

著者

書誌事項

アサーションベース設計

Harry D. Foster, Adam C. Krolnik, David J. Lacey著 ; 後藤謙治 [ほか] 訳

丸善, 2004.9

タイトル別名

Assertion-based design

タイトル読み

アサーション ベース セッケイ

大学図書館所蔵 件 / 60

この図書・雑誌をさがす

注記

監訳: 東野輝夫, 岡野浩三, 中田明夫

原書2版の翻訳

文献: p[487]-492

内容説明・目次

内容説明

LSI設計者・LSIシステム設計者、EDAソフトウェア開発・販売会社の技術者、およびLSI設計の大学研究者の必読書。検査すべき仕様をアサーションとして記述することで、仕様・設計意図の明確化とコンピュータ実行が可能になり、設計の品質の向上と設計時間・検証時間の短縮の両立が実現できる。本書では、アサーション設計の有効性、設計手法のなかでの位置づけ、その具体的な適用方法などについて、豊富なアサーションの実例を用いながら、実装に必要な重要項目をわかりやすく解説。

目次

  • 第1章 はじめに
  • 第2章 アサーション手法
  • 第3章 RTLプロパティの仕様記述
  • 第4章 PLIベース・アサーション
  • 第5章 機能カバレッジ
  • 第6章 アサーション・パターン
  • 第7章 アサーション・クックブック
  • 第8章 正確な動作の仕様記述
  • 付録A OPEN VERIFICATION LIBRARY
  • 付録B PSL PROPERTY SPECIFICATION LANGUAGE
  • 付録C System Verilog アサーション

「BOOKデータベース」 より

詳細情報

  • NII書誌ID(NCID)
    BA68891212
  • ISBN
    • 4621074490
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 原本言語コード
    eng
  • 出版地
    東京
  • ページ数/冊数
    xxvii, 506p
  • 大きさ
    21cm
  • 分類
  • 件名
ページトップへ