低功耗验证方法学2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

低功耗验证方法学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和Vss25

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 CPU78

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 ENV128

A.2.2 vmm-lp-design131

A.2.3 vmm-lp-transition141

A.3 RAL143

附录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