低功耗设计与验证

来自 孔夫子网 的图片

《低功耗设计与验证》，[波] 普罗吉纳·孔达卡尔（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