IP Cores Design from Specifications to Production: Modeling, Verification, Optimization, and Protection (Analog Circuits and Signal Processing)
暫譯: 從規格到生產的IP核心設計:建模、驗證、優化與保護(類比電路與信號處理)
Khaled Salah Mohamed
- 出版商: Springer
- 出版日期: 2015-09-08
- 售價: $2,410
- 貴賓價: 9.5 折 $2,290
- 語言: 英文
- 頁數: 154
- 裝訂: Hardcover
- ISBN: 3319220349
- ISBN-13: 9783319220345
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book describes the life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection. Various trade-offs in the design process are discussed, including those associated with many of the most common memory cores, controller IPs and system-on-chip (SoC) buses. Readers will also benefit from the author’s practical coverage of new verification methodologies. such as bug localization, UVM, and scan-chain. A SoC case study is presented to compare traditional verification with the new verification methodologies.
Discusses the entire life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection;
Introduce a deep introduction for Verilog for both implementation and verification point of view.
Demonstrates how to use IP in applications such as memory controllers and SoC buses.
Describes a new verification methodology called bug localization;
Presents a novel scan-chain methodology for RTL debugging;
Enables readers to employ UVM methodology in straightforward, practical terms.
商品描述(中文翻譯)
這本書描述了 IP 核心的生命週期過程,從規範到生產,包括 IP 建模、驗證、優化和保護。書中討論了設計過程中的各種權衡,包括與許多最常見的記憶體核心、控制器 IP 和系統單晶片 (SoC) 總線相關的權衡。讀者還將受益於作者對新驗證方法的實用介紹,例如錯誤定位 (bug localization)、UVM 和掃描鏈 (scan-chain)。書中提供了一個 SoC 案例研究,以比較傳統驗證與新驗證方法。
討論了 IP 核心的整個生命週期過程,從規範到生產,包括 IP 建模、驗證、優化和保護;
從實現和驗證的角度深入介紹 Verilog;
展示如何在應用中使用 IP,例如記憶體控制器和 SoC 總線。
描述了一種新的驗證方法,稱為錯誤定位;
提出了一種新穎的掃描鏈方法,用於 RTL 調試;
使讀者能夠以簡單、實用的方式使用 UVM 方法。