低功耗验证方法学

第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.1CMOS和电压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章 多电压电源管理基础 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.24PMU （电源管理单元）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章 电源管理隐患 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章 状态保持 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章 多电压测试平台的架构 5.1前言75 5.2测试平台结构75 5.3组成测试平台的部件76 5.3.1软件代码段加载器76 5.3.2CPU78 5.3.3仿真模型78 5.4编码的指导原则80 5.4.1X值的检测80 5.4.2X值的传播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章 多电压验证 6.1前言91 6.2静态验证92 6.2.1RTL静态验证93 6.2.2门级静态验证94 6.3动态验证97 6.4层次化的电源管理100 第7章 动态验证 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 AllOn（全接通）验证108 7.4模型109 7.5定向测试110 7.5.1上电复位测试111 7.5.2硬件复位测试112 7.6电源管理软件113 7.7结论116 第8章 规则及指导原则 8.1规则和指导原则的总结118 第2章规则及指导原则118 第3章电源管理118 第4章状态保持120 第5章多电压测试平台的体系结构和准备120 第6章多电压验证121 第7章动态验证123 附录A VMMLP基础类和应用程序包 A.1RALF框架 总结126 A.1.1寄存器 127 A.1.2存储器127 A.1.3块127 A.1.4系统128 A.2VMMLP 类库规范128 A.2.1VMM_ENV128 A.2.2vmm_lp_design131 A.2.3vmm_lp_transition141 A.3RAL143 附录B 静态检查 B.1隔离检查151 B.2电平换挡器（LS）152 B.3已使能的电平换挡器（ELS）152 B.4岛序检查154 B.5保持单元154 B.6电源开关155 B.7总是有供电的单元156 附录C 作者简介 C.1作者157 C.2感谢158 索引161 参考文献178