低功耗設計與驗證
周傳瑞
買這商品的人也買了...
-
系統管理員懶人包｜Shell Script 自動化指令集 (Wicked Cool Shell Scripts)$480$379 -
$755Perl 語言編程, 4/e (Programming Perl : Unmatched power for text processing and scripting, 4/e) -
Perl 語言 IC 設計實踐$474$450 -
System Verilog 驗證：測試平臺編寫指南, 3/e (SystemVerilog for Verification: A Guide to Learning the Testbench Language Features, 3/e)$588$559 -
$621UVM 芯片驗證技術案例集 -
SystemVerilog 硬件設計：RTL 設計和驗證$468$445 -
從演算法到電路：數碼芯片演算法的電路實現$714$678
相關主題
商品描述
作者簡介
普羅吉納·孔達卡爾，是Mentor Graphics設計驗證技術部（DVT）的一名低功耗設計驗證專家、高級驗證工程師。他擁有功耗驗證領域的兩項專利和眾多出版物。他專註於電子、計算機、信息科學領域的研究，擁有在亞洲頂級大學的學習、科研和教學經歷。近15年裡，他在世界級ASIC和電子設計自動化（EDA）公司從事軟硬件設計、開發、集成、測試和驗證工作。他擁有計算機科學博士學位，是IEEE的高級會員，也是INFORMATION，IEEE Transactions on Computer-Aided Design of Integrated Circuit and Systems，IEEE Transactions on Computers and Journal of VLSI Design and Verification（JVLSIDV）等期刊的審稿人和編輯委員會成員。
目錄大綱
目錄
第1章概述1
第2章背景3
2.1功耗意圖5
2.2UPF簡介6
本章結語8
第3章UPF建模9
3.1UPF的基本結構10
3.2持續可細化的UPF59
3.3可增量細化的UPF64
3.4層級UPF68
本章結語73
第4章功耗感知標準庫75
4.1Liberty功耗管理屬性78
4.2功耗感知模擬驗證模型庫80
本章結語86
第5章基於UPF的動態功耗模擬87
5.1動態功耗驗證技術88
5.2動態功耗模擬：基礎89
5.3動態功耗模擬：驗證特性91
5.4動態功耗模擬：驗證實踐94
5.5動態功耗模擬：庫處理97
5.6動態功耗模擬：驗證平臺要求98
5.7動態功耗模擬：自定義PA驗證器和監測器102
5.8動態功耗模擬：綜合後門級模擬105
5.9動態功耗模擬：模擬結果和調試技術110
本章結語114
第6章動態功耗模擬覆蓋率117
6.1動態功耗模擬：覆蓋率基礎119
6.2動態功耗模擬：覆蓋率特性123
6.3動態功耗模擬：覆蓋率實踐126
本章結語139
第7章基於UPF的靜態功耗驗證141
7.1靜態功耗驗證：基礎技術142
7.2靜態功耗驗證：驗證特性144
7.3靜態功耗驗證：庫處理150
7.4靜態功耗驗證：驗證實踐152
7.5靜態功耗驗證：驗證結果和調試技術155
本章結語164
參考文獻165
