低功耗验证方法学PDF电子书下载

第1章 绪论 1

1.1简介 1

1.2推动电源管理的要素 2

1.2.1更深入地考察电源的影响 2

1.2.2市场对降低功耗的压力 4

1.2.3技术的进步和功耗的减小 5

1.2.4节电的规范问题 6

1.3电压控制方案的出现 8

1.3.1 CMOS和电压 9

1.3.2实践中的多电压设计 9

1.3.3多电压控制系统的形象 12

1.4组件的验证 14

1.4.1历史的回顾和展望 14

1.4.2能感知电压的布尔分析 15

1.5方法学的采用和实现 17

1.5.1方法学的差异 17

1.5.2采纳的方法学 20

1.5.3规则和指导原则 21

1.6本书的结构 21

第2章 多电压电源管理基础 23

2.1设计元素 23

2.1.1轨线/电源线网 23

2.1.2电压调节器 23

2.1.3主轨线 24

2.1.4辅助轨线 24

2.1.5 VDD和Vss 25

2.1.6头单元和脚单元 25

2.1.7虚拟的VDD/Vss（源电压/地电压） 26

2.1.8保持单元 26

2.1.9基极 27

2.1.10岛 28

2.1.11阱 29

2.1.12域 29

2.1.13总有电源供电的区 29

2.1.14立体交叉 30

2.1.15时变 30

2.1.16多电压状态或电源状态 30

2.1.17保护电路 30

2.1.18隔离 31

2.1.19输入隔离（停车场） 31

2.1.20电平的换挡调节 32

2.1.21电源状态表 32

2.1.22状态的转移 33

2.1.23状态序列 33

2.1.24 PMU（电源管理单元） 33

2.2多电压低功耗设计风格 34

2.2.1关机 34

2.2.2待机 34

2.2.3休眠/电源门控 36

2.2.4保持 36

2.2.5动态电压调节 36

2.2.6离散/连续的动态电压调节 37

2.2.7离散与连续电压调节的比较 37

2.3结论 37

第3章 电源管理隐患 39

3.1前言 39

3.2结构性错误 40

3.2.1隔离及其相关的错误 41

3.2.2电平换挡及其相关错误 45

3.2.3其他结构性错误 47

3.3控制/序列错误 47

3.3.1隔离控制错误 48

3.3.2逻辑混乱 53

3.4体系架构性错误 55

3.4.1电源门控错误 56

3.4.2待机状态下的存储器数据遭到破坏 57

3.4.3外部元件和软件的建模 58

3.5结论 59

第4章 状态保持 60

4.1前言 60

4.2状态保持的几个途径 61

4.2.1硬件的方法 61

4.2.2软件方法 63

4.3状态保持寄存器 64

4.3.1选择性保持 66

4.3.2部分状态保持 69

4.4保持和验证的体系架构问题 71

4.4.1复位和初始化 71

4.4.2验证状态空间的爆炸 71

4.4.3保持与时钟门控的相互作用 72

4.4.4推荐 72

4.5结论 72

第5章 多电压测试平台的架构 75

5.1前言 75

5.2测试平台结构 75

5.3组成测试平台的部件 76

5.3.1软件代码段加载器 76

5.3.2 CPU 78

5.3.3仿真模型 78

5.4编码的指导原则 80

5.4.1 X值的检测 80

5.4.2 X值的传播 81

5.4.3硬线连接的常数 81

5.4.4端口列表中的表达式和边界文件 82

5.4.5触发器的第一级 83

5.4.6监视器/断言 84

5.4.7初始化 84

5.4.8状态保持 85

5.4.9同步器 85

5.4.10单元命名保护 86

5.4.11关机代码的激活 86

5.5低功耗元件库的建模 86

5.5.1电源管理单元 87

5.5.2标准逻辑单元 88

5.5.3用户自定义宏组件 88

5.6结论 89

第6章 多电压验证 91

6.1前言 91

6.2静态验证 92

6.2.1 RTL静态验证 93

6.2.2门级静态验证 94

6.3动态验证 97

6.4层次化的电源管理 100

第7章 动态验证 102

7.1引言 102

7.2验证计划 103

7.2.1响应检查 104

7.2.2外部控制验证 106

7.2.3电源状态 106

7.2.4状态保持 107

7.2.5动态频率调整 107

7.3 All-On（全接通）验证 108

7.4模型 109

7.5定向测试 110

7.5.1上电复位测试 111

7.5.2硬件复位测试 112

7.6电源管理软件 113

7.7结论 116

第8章 规则及指导原则 118

8.1规则和指导原则的总结 118

第2章 规则及指导原则 118

第3章 电源管理 118

第4章 状态保持 120

第5章 多电压测试平台的体系结构和准备 120

第6章 多电压验证 121

第7章 动态验证 123

附录A VMM-LP基础类和应用程序包 126

A.1 RALF框架总结 126

A.1.1寄存器 127

A.1.2存储器 127

A.1.3块 127

A.1.4系统 128

A.2 VMM-LP类库规范 128

A.2.1 VMM ENV 128

A.2.2 vmm-lp-design 131

A.2.3 vmm-lp-transition 141

A.3 RAL 143

附录B静态检查 151

B.1隔离检查 151

B.2电平换挡器（LS） 152

B.3已使能的电平换挡器（ELS） 152

B.4岛序检查 154

B.5保持单元 154

B.6电源开关 155

B.7总是有供电的单元 156

附录C作者简介 157

C.1作者 157

C.2感谢 158

索引 161

参考文献 178