低功耗設計與驗證

來自 孔夫子網 的圖片

《低功耗設計與驗證》，[波] 普羅吉納·孔達卡爾（Progyna Khon 著，周傳瑞 譯，出版社： 科學出版社。

科學出版社是中國最大的綜合性科技出版機構，由前中國科學院編譯局與1930年代創建的有較大影響的龍門聯合書局合併而來。科學出版社比鄰皇城根遺址公園，是一個歷史悠久、力量雄厚，以出版學術書刊為主的開放式出版社。

目錄

內容簡介

本書提出功耗感知驗證的概念和基本原理，結合驗證項目介紹多種功耗驗證技術、工具及方法，旨在幫助VLSI低功耗設計和驗證人員在低功耗領域從零開始積累經驗。 　　 本書主要內容包括UPF建模、功耗感知標準庫、基於UPF的動態功耗仿真、基於UPF的靜態功耗驗證等。本書風格簡潔實用，面向VLSI低功耗設計和驗證領域從初學者到專家的廣泛人群。

目錄

第1章概述1

第2章背景3

2.1功耗意圖5

2.2UPF簡介6

本章結語8

第3章UPF建模9

3.1UPF的基本結構10

3.2持續可細化的UPF59

3.3可增量細化的UPF…

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

本章結語1…

參考文獻165