图书盲袋,以书为“药”
欢迎光临中图网 请 | 注册

低功耗验证方法学

出版社:北京航空航天大学出版社出版时间:2020-12-08
开本: 16开 页数: 180
本类榜单:工业技术销量榜
中 图 价:¥17.6(5.5折) 定价  ¥32.0 登录后可看到会员价
加入购物车 收藏
运费6元,满39元免运费
?新疆、西藏除外
本类五星书更多>

低功耗验证方法学 版权信息

低功耗验证方法学 本书特色

低功耗验证是低功耗设计中*为关键的挑战,迦奇拉编著的《低功耗验证方法学》帮助我们创建了一个可重复使用的低功耗设计的验证环境,极大地握升了业界专家们所积累的*优秀的实践经验。本书可以帮助我们找到低功耗设计中的隐患,并且在设计周期的早期耪发现这些问题,而不必等到投片以后,因此大大节省了硅片掩膜的成本和工程调试的时间。

低功耗验证方法学 内容简介

迦奇拉编著的《低功耗验证方法学》分析归纳了多电压低功耗设计仿真验证技术中几乎所有的关键问题,并提出了十分重要的设计验证原则和规范。内容包括:多电压电源管理基础、电源管理隐患、状态保持、多电压测试平台的架构、多电压验证、动态验证、规则及指导原则等。《低功耗验证方法学》是任何正在设计或准备设计低功耗应用系统级芯片的必读著作。

低功耗验证方法学 目录

第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
展开全部

低功耗验证方法学 作者简介

作者:(美国)迦奇拉(Srikanth Jadcherla) (美国)Janick Bergeron (日本)Yoshio Inoue (美国)David Flynn 译者:刘雷波 夏宇闻 刘雷波博士、清华大学副教授、博士生导师。长期致力于超大规模集成电路设计、可重构计算软硬件架构、移动计算等的研究工作。现任清华大学微电子所所长助理、清华大学移动计算中心副主任,A-SSCC(噩洲固态电路会议)技术委员会成员、IEEE TVLS1/TOAS等一流期刊审稿人。

商品评论(0条)
暂无评论……
书友推荐
编辑推荐
返回顶部
中图网
在线客服