扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
公路车宝典(ZINN的公路车维修与保养秘籍)
-
>
晶体管电路设计(下)
-
>
基于个性化设计策略的智能交通系统关键技术
-
>
花样百出:贵州少数民族图案填色
-
>
山东教育出版社有限公司技术转移与技术创新历史丛书中国高等技术教育的苏化(1949—1961)以北京地区为中心
-
>
铁路机车概要.交流传动内燃.电力机车
-
>
利维坦的道德困境:早期现代政治哲学的问题与脉络
买过本商品的人还买了
动物目击者系列:西伯利亚虎 儿童版
¥5.3¥10.0动物目击者系列:座头鲸 儿童版
¥5.3¥10.0动物目击者系列:棱皮龟 儿童版
¥5.3¥10.0动物目击者系列:楔齿蜥 儿童版
¥7.2¥10.0动物目击者系列:灰狼 儿童版
¥5.3¥10.0
低功耗验证方法学 版权信息
- ISBN：9787512408494
- 条形码：9787512408494 ; 978-7-5124-0849-4
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
低功耗验证方法学 本书特色
低功耗验证是低功耗设计中*为关键的挑战，迦奇拉编著的《低功耗验证方法学》帮助我们创建了一个可重复使用的低功耗设计的验证环境，极大地握升了业界专家们所积累的*优秀的实践经验。本书可以帮助我们找到低功耗设计中的隐患，并且在设计周期的早期耪发现这些问题，而不必等到投片以后，因此大大节省了硅片掩膜的成本和工程调试的时间。
低功耗验证方法学 内容简介
迦奇拉编著的《低功耗验证方法学》分析归纳了多电压低功耗设计仿真验证技术中几乎所有的关键问题，并提出了十分重要的设计验证原则和规范。内容包括：多电压电源管理基础、电源管理隐患、状态保持、多电压测试平台的架构、多电压验证、动态验证、规则及指导原则等。《低功耗验证方法学》是任何正在设计或准备设计低功耗应用系统级芯片的必读著作。
低功耗验证方法学 目录
第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等一流期刊审稿人。
书友推荐
- >
回忆爱玛侬
回忆爱玛侬
¥24.0¥32.8 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥4.5¥10.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥18.4¥58.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥15.9¥49.8 - >
李白与唐代文化
李白与唐代文化
¥9.9¥29.8 - >
莉莉和章鱼
莉莉和章鱼
¥14.4¥42.0 - >
月亮虎
月亮虎
¥21.6¥48.0 - >
月亮与六便士
月亮与六便士
¥19.1¥42.0
本类畅销
-
不良情绪应急处理包--孤独感
¥12.9¥30 -
不良情绪应急处理包--精神内耗
¥12.9¥30 -
孩子、家庭和外部世界
¥17.8¥56 -
北魏政治史(二)
¥26.2¥70 -
北魏政治史(四)
¥24.4¥65 -
北魏政治史(八)
¥20.8¥55
