アサーションベース設計
著者
書誌事項
アサーションベース設計
丸善, 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データベース」 より