图书介绍

集成电路系统设计、验证与测试pdf电子书版本下载

（美）LouisSchefferLucianoLavagnoGtantMartin等著著
出版社：北京：科学出版社
ISBN：9787030214904
出版时间：2008
标注页数：475页
文件大小：151MB
文件页数：492页
主题词：

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：85f71dbd77190cce8e3db96ffbd226ae

下载说明

集成电路系统设计、验证与测试PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

集成电路电子设计自动化简介 2

系统级设计 6

微体系结构设计 7

逻辑验证 7

测试 8

RTL到GDSII，综合、布局和布线 8

模拟和混合信号设计 9

物理验证 10

工艺计算机辅助设计 11

参考文献 11

绪论 12

验证 14

实现 16

可制造性设计 22

参考文献 23

绪论 26

视频应用的特点 26

其他应用领域 27

平台级的特点 27

基于模型的设计中计算和工具的模型 30

仿真 37

软、硬件的协同综合 38

总结 39

参考文献 40

绪论 43

特定领域语言和方法的调研 44

异构平台及方法学 52

总结 53

参考文献 54

IP复用和基于模块设计的经济性问题 58

标准总线接口 59

基于声明验证的使用 59

IP配置器和生成器的使用 61

设计集成和验证的挑战 62

SPIRIT XML数据手册提案 63

总结 64

参考文献 65

绪论 66

对于系统设计流程中性能评估的介绍 66

MPSoC性能评估 73

总结 74

参考文献 76

绪论 79

动态电源管理 80

电池监控动态电源管理 86

软件级动态电源管理 90

总结 93

参考文献 93

绪论 96

使用ADL进行处理器建模 97

ADL驱动方法 105

总结 111

参考文献 112

摘要 115

绪论 115

同步模型和异步模型 125

同步模型 125

异步模型 128

嵌入式软件模型的研究 143

总结 149

参考文献 149

绪论 153

作为基准点测试平台的ISS 154

理想与实际处理器基准的比较 155

标准基准类型 156

以往的性能级别：MIPS、MOPS和MFLOPS 156

经典的处理器基准（早期） 157

现代处理器性能基准 164

可配置性处理器和处理器内核基准的未来 173

总结 175

参考文献 175

绪论 177

技术发展水平的背景及调研 178

并行HLS 186

SPARK PHLS框架 189

总结 190

参考文献 191

绪论 196

系统建模和设计方法学 197

系统级建模对象的反向标注 200

统计特征的自动提取 203

开放式系统级建模问题 209

参考文献 209

摘要 212

绪论 212

背景 213

结构模型 214

微体系结构功耗建模和估计 215

微体系结构功耗优化 22

总结 236

参考文献 23

绪论 242

平面布局 244

布线规划 249

针对折中的形式系统 256

参考文献 261

绪论 264

历史 265

设计语言 266

验证语言 278

总结 288

参考文献 289

绪论 291

面向事件与面向进程的仿真 292

逻辑仿真方法和算法 293

语言对逻辑仿真的影响 299

逻辑仿真方法 301

HVL对仿真的影响 304

总结 304

参考文献 305

绪论 306