低功耗設計與驗證
周傳瑞
買這商品的人也買了...
-
數位訊號處理 (Mitra: Digital Signal Processing: A Computer-Based Approach, 3/e)$760$745 -
計算機系統設計 (上冊) — 基於 FPGA 的 RISC 處理器設計與實現$330$314 -
低功耗設計精解$774$735 -
數字通信同步技術的 MATLAB 與 FPGA 實現 — Altera / Verilog 版, 2/e$594$564 -
深入解析 Windows 操作系統 : 捲1, 7/e$1,079$1,025 -
$327EDA 技術與 Verilog HDL -
低功耗 CMOS 逐次逼近型模數轉換器$834$792 -
FPGA 時序約束與分析$414$393 -
$594MATLAB 圖像處理與應用 -
System Verilog 驗證:測試平臺編寫指南, 3/e (SystemVerilog for Verification: A Guide to Learning the Testbench Language Features, 3/e)$588$559 -
$284FPGA 數字系統設計 -
深入解析 Windows 操作系統 : 捲2, 7/e$1,199$1,139 -
數位訊號處理 - Python 程式實作, 3/e (附範例光碟)$620$558 -
$564UVM 芯片驗證技術案例集 -
SystemVerilog 硬件設計:RTL 設計和驗證$468$445 -
CMOS 模擬集成電路設計基礎$408$388 -
從演算法到電路:數碼芯片演算法的電路實現$714$678 -
高級 HDL 綜合和 SoC 原型設計$468$445 -
Verilog 數字設計原理$768$730 -
先進 VLSI 技術:中後端面試精選 455問$408$388 -
時序收斂的藝術 : 高級ASIC設計實現$408$388 -
AI 芯片開發核心技術詳解$654$621 -
$407開源心法 -
使用 SystemVerilog 進行 RTL 建模 (基於 SystemVerilog 的 ASIC 與 FPGA 設計)$588$559 -
$806Linux x64 匯編語言編程
簡體館年度書展|現貨2書79折3書75折 詳見活動內容 »
-
VIP 95折
深入淺出 SSD 測試 : 固態存儲測試流程 方法與工具$594$564 -
VIP 95折
MCP 開發從入門到實戰$515$489 -
85折
$806Linux x64 匯編語言編程 -
VIP 95折
MCP 極簡開發 : 輕鬆打造高效智能體$479$455 -
VIP 95折
RISC-V 架構 DSP 處理器設計$534$507 -
VIP 95折
硬件系統模糊測試:技術揭秘與案例剖析$419$398 -
85折
$454RAG 實踐權威指南:構建精準、高效大模型之道 -
79折
$564CUDA 並行編程與性能優化 -
VIP 95折
生成式視覺模型原理與實踐$288$274 -
87折
$459AI大模型:賦能通信產業 -
VIP 95折
科學預測——預見科學之美$408$388 -
VIP 95折
Processing創意編程入門:從編程原理到項目案例$299$284 -
VIP 95折
大模型驅動的具身智能 架構,設計與實現$534$507 -
VIP 95折
納米級CMOS VLSI電路(可制造性設計)$474$450 -
VIP 95折
Manus應用與AI Agent設計指南:從入門到精通$359$341 -
VIP 95折
高薪Offer 簡歷、面試、談薪完全攻略$414$393 -
VIP 95折
軟件系統優化$534$507 -
VIP 95折
芯片的較量 (日美半導體風雲)$414$393 -
VIP 95折
Manus AI 智能體從入門到精通$294$279 -
87折
$981深度學習:基礎與概念 -
79折
$469GitHub Copilot 編程指南 -
87折
$469Cursor 與 Copilot 開發實戰 : 讓煩瑣編程智能化 -
85折
$551C#核心編程200例(視頻課程+全套源程序) -
VIP 95折
Verilog HDL 計算機網絡典型電路算法設計與實現$354$336 -
VIP 95折
SAAS + AI 架構實戰:業務解析、架構設計、AI 應用$708$673
簡體館年度書展|現貨2書79折3書75折 詳見活動內容 »
-
85折
$806Linux x64 匯編語言編程 -
VIP 95折
MCP 極簡開發 : 輕鬆打造高效智能體$479$455 -
VIP 95折
硬件系統模糊測試:技術揭秘與案例剖析$419$398 -
VIP 95折
生成式視覺模型原理與實踐$288$274 -
87折
$459AI大模型:賦能通信產業 -
VIP 95折
科學預測——預見科學之美$408$388 -
VIP 95折
Processing創意編程入門:從編程原理到項目案例$299$284 -
VIP 95折
高薪Offer 簡歷、面試、談薪完全攻略$414$393 -
VIP 95折
軟件系統優化$534$507 -
79折
$469GitHub Copilot 編程指南 -
85折
$551C#核心編程200例(視頻課程+全套源程序) -
VIP 95折
SAAS + AI 架構實戰:業務解析、架構設計、AI 應用$708$673 -
VIP 95折
深入淺出 Docker, 2/e$419$398 -
85折
$658Unity 特效制作:Shader Graph 案例精講 -
79折
$275零基礎玩轉國產大模型DeepSeek -
VIP 95折
人工智能大模型:機器學習基礎$774$735 -
VIP 95折
RAG 極簡入門:原理與實踐$419$398 -
VIP 95折
大模型實戰 : 從零實現 RAG 與 Agent 系統$419$398 -
VIP 95折
算法趣學(第2版)$348$331 -
VIP 95折
大模型理論與實踐——打造行業智能助手$354$336 -
85折
$509生成式人工智能 (基於 PyTorch 實現) -
VIP 95折
機器人抓取力學$894$849 -
VIP 95折
集成電路版圖設計從入門到精通$474$450 -
VIP 95折
Java 學習筆記, 6/e$839$797 -
VIP 95折
ZBrush遊戲角色設計(第2版)$479$455
相關主題
商品描述
作者簡介
普羅吉納·孔達卡爾,是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





