Creating Assertion-Based IP (Hardcover)

Harry D. Foster, Adam C. Krolnik

  • 出版商: Springer
  • 出版日期: 2007-11-26
  • 售價: $2,980
  • 貴賓價: 9.5$2,831
  • 語言: 英文
  • 頁數: 312
  • 裝訂: Hardcover
  • ISBN: 1841271373
  • ISBN-13: 9780387366418
  • 立即出貨 (庫存=1)

商品描述

Description

Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting interesting or incorrect behavior, the assertion-based IP alerts other verification components within a simulation environment, which are responsible for taking appropriate action. The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, reusable, assertion-based IP, which easily integrates with the user’s existing verification environment, in other words the testbench infrastructure.

The guiding principles promoted in this book when creating an assertion-based IP monitor are:

  • modularity—assertion-based IP should have a clear separation between detection and action

  • clarity—assertion-based IP should be written initially focusing on capturing intent (versus optimizations)

A unique feature of this book is the fully worked out, detailed examples. The concepts presented in the book are drawn from the authors’ experience developing assertion-based IP, as well as general assertion-based techniques. Creating Assertion-Based IP is an important resource for design and verification engineers.

商品描述(中文翻譯)

描述

基於斷言的IP不僅僅是一套相關斷言的全面集合。它是一個完整的可重用和可配置的事務級驗證組件,用於檢測有趣和不正確的行為。在檢測到有趣或不正確的行為時,基於斷言的IP會警告模擬環境中的其他驗證組件,這些組件負責採取適當的行動。本書的重點是將斷言討論提升到更高的水平,並介紹一個創建有效、可重用的基於斷言的IP的過程,該過程可以輕鬆集成到用戶現有的驗證環境中,換句話說,測試台架基礎設施。

在創建基於斷言的IP監視器時,本書提倡的指導原則包括:
- 模塊化 - 基於斷言的IP應該在檢測和行動之間有明確的分離。
- 清晰 - 基於斷言的IP應該最初專注於捕捉意圖(而不是優化)。

本書的一個獨特特點是完整的實例。書中介紹的概念來自作者在開發基於斷言的IP以及一般基於斷言技術方面的經驗。《創建基於斷言的IP》是設計和驗證工程師的重要資源。