加载中...
扫一扫
下载苏宁易购APP
关注苏宁推客公众号
自购省钱·分享赚钱
下载苏宁金融APP
关注苏宁易购服务号
用户评价:----
物流时效:----
售后服务:----
实名认证领苏宁支付券立即领取 >
¥
提前抢
SUPER会员专享
由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
欢迎光临本店铺
点我可查看更多商品哦~
100%刮中券,最高50元无敌券,券有效期7天
亲,今日还有0次刮奖机会
我的云钻:0
您的云钻暂时不足,攒足云钻再来刮
恭喜获得1张券!
今天的机会已经全部用完了,请明天再来
恭喜刮出两张券,请选择一张领取
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
正版 集成电路设计自动化 蔡懿慈 科学出版社 9787508856919 书籍
¥ ×1
商品
服务
物流
目录序前言第1章 绪论 11.1 集成电路设计自动化方法简介 21.1.1 集成电路设计流程 21.1.2 层次式设计方法 31.1.3 集成电路设计描述 51.2 章 节组织结构 6第2章 高层次综合 82.1 概述 92.1.1 行为描述的中间表示 92.1.2 性能评估模型 102.1.3 高层次综合与布图规划结合系统流程 102.2 高层次综合中的互连功耗优化 122.2.1 互连功耗优化算法的基本流程 122.2.2 初始高层次综合 132.2.3 结合布图信息的高层次综合 192.2.4 行为信息驱动的布图规划 212.2.5 实验与分析 222.3 高层次综合热优化 242.3.1 峰值周期功耗和峰值模块功耗 252.3.2 整数线性规划模型的构造及平稳芯片热分布算法 272.3.3 实验及分析 322.4 专用指令综合 352.4.1 问题描述 362.4.2 专用指令定制方法 372.4.3 专用指令快速定制算法 452.4.4 专用指令功能划分算法 502.4.5 专用指令定制存储器存取优化实例 552.4.6 实验结果及分析 612.5 本章小结 62参考文献 63第3章 验证 653.1 验证方法概述 653.1.1 模拟验证过程 663.1.2 形式验证过程 693.2 模拟验证 713.2.1 基于字位混合SAT求解器的RTL随机激励生成方法描述 723.2.2 字位混合SAT问题 723.2.3 字位混合SAT求解器 743.2.4 激励的均匀度评估方法 793.2.5 激励的生成方法 823.2.6 实验分析 843.3 形式验证 863.3.1 模型检验中的OBDD 863.3.2 VHDL转化为状态机 873.3.3 反例生成方法 1013.4 本章小结 107参考文献 108第4章 布图规划与布局 1104.1 布图规划与布局简介 1104.1.1 布图规划问题 1114.1.2 布局问题 1194.2 时延和可布性驱动的布局 1244.2.1 基于路径的时延驱动快速布局TimFaSa 1244.2.2 可布性驱动的布局 1314.3 时钟性能驱动的布局算法 1404.3.1 问题的提出和算法动机 1404.3.2 时钟驱动的布局 1414.4 功耗驱动的多电压布局算法 1504.4.1 基于单元的电压岛设计流程 1504.4.2 基于二划分的标准单元布局方法 1524.4.3 时延和功耗驱动的初始布局 1534.4.4 初始电压分配 1544.4.5 对电压分配和布局结果的迭代改善 1554.4.6 实验及分析 1574.5 本章小结 158参考文献 159第5章 布线 1615.1 概述 1615.1.1 布线问题概述 1615.1.2 布线方法概述 1625.2 总体布线 1655.2.1 总体布线问题的形式化 1655.2.2 时延驱动的总体布线 1665.2.3 时延和拥挤度驱动总体布线算法TCG-Router 1675.3 详细布线 1755.3.1 详细布线问题的形式化 1765.3.2 多商品流详细布线算法整体流程 1775.3.3 基于多商品流理论的详细布线模型 1785.4 面向可制造性与良品率的布线算法 1895.4.1 考虑化学机械抛光的布线算法 1905.4.2 考虑冗余通孔插入的多商品流详细布线算法 1965.4.3 考虑电迁移问题的布线算法 2065.5 本章小结 212参考文献 212第6章 时钟综合与时序分析优化 2146.1 概述 2146.2 基本概念 2166.2.1 时钟网络设计参数 2166.2.2 时序分析 2176.2.3 时延模型 2196.3 时钟综合 2236.3.1 时钟规划 2246.3.2 时钟综合过程 2256.3.3 时钟优化 2296.4 时序分析及优化 2336.4.1 静态时序分析概述 2336.4.2 静态时序分析方法 2356.4.3 时序优化目标 2386.4.4 时序优化方法 2416.5 本章小结 245参考文献 246第7章 片上供电网络仿真及优化 2487.1 概述 2487.2 片上供电网络静态分析 2527.2.1 泊松求解算法 2527.2.2 代数多重网格算法 2577.3 片上供电网络瞬态分析 2667.3.1 瞬态仿真方法描述 2677.3.2 全参数模型下的瞬态仿真算法 2687.3.3 实验结果及分析 2717.4 片上供电网络优化方法 2737.4.1 基于随机行走放置去耦合电容的供电网络优化算法 2747.4.2 实验结果及分析 2777.5 片上供电网络无向量验证方法 2787.5.1 基于多层次矩阵求逆的无向量验证 2797.5.2 实验结果及分析 2847.6 片上供电网络电迁移优化方法 2877.6.1 电迁移可靠性 2887.6.2 供电网络局部性原理及电迁移自恢复效应 2907.6.3 基于瞬态电流和电容模型的优化策略 2927.6.4 基于瞬态电流模型的电迁移优化算法 2967.6.5 实验结果及分析 3007.7 本章小结 302参考文献 303第8章 3D集成电路设计方法 3068.13 D集成电路设计综述 3068.23 D芯片热分析及优化 3088.2.1 热分析 3088.2.23 D芯片热驱动布图规划算法 3128.2.3 实验分析 3168.33 D芯片导热TSV分析及优化 3168.3.1 热通孔模型 3178.3.2 单元级TSV规划算法 3188.3.3 模块级TSV规划算法 3248.3.4 实验及分析 3288.43 D芯片TSV容错设计 3318.4.1 问题背景 3318.4.2 容错TSV数目计算 3338.4.3 基于整数线性规划的自适应容错结构生成 3338.4.4 基于启发式方法的自适应容错结构生成方法 3368.4.5 自适应容错TSV规划流程 3388.4.6 实验结果和分析 3398.5 本章小结 344参考文献 344第9章 集成电路硬件安全设计与检测方法 3479.1 硬件安全概述 3479.1.1 旁路攻击 3479.1.2 硬件木马 3499.1.3 电路剽窃 3509.2 防御旁路攻击的设计方法 3519.2.1 供电网络对功耗信息泄露的影响 3519.2.2 考虑供电网络的功耗仿真及防御能力评估平台 3539.2.3 基于供电网络优化的功耗分析攻击防御算法 3549.2.4 供电网络对电磁信息泄露的影响 3589.2.5 考虑供电网络的电磁仿真及防御能力评估平台 3609.2.6 基于供电网络优化的电磁分析攻击防御算法 3609.3 硬件木马检测的验证方法 3629.3.1 断言的自动生成 3629.3.2 硬件木马的静态和动态分析特征 3639.3.3 基于粗粒度控制流图的安全断言自动生成 3649.3.4 基于寄存器传输级不变式的安全断言自动生成 3709.4 电路伪装技术 3749.4.1 基于可配置逻辑单元的电路伪装技术 3769.4.2 电路划分攻击 3819.4.3 抵抗电路划分攻击 3849.4.4 基于多路选择器的电路伪装技术 3859.5 本章小结 388参考文献 389第10章 总结与展望 39110.1 总结 39110.2 展望 393彩图
《集成电路设计自动化》系统介绍集成电路设计自动化的理论、算法和软件等关键技术。先介绍数字集成电路的设计流程、层次化设计方法及设计描述,重点介绍集成电路设计自动化的前端设计和后端设计中的关键技术与方法,包括高层次综合技术、模拟验证和形式验证技术、布图规划与布局技术、总体布线与详细布线技术、时钟综合与时序分析优化方法、供电网络分析和优化技术、3D集成电路自动设计方法,介绍集成电路的硬件安全相关问题。同时包含集成电路设计自动化近年来的新研究成果。
抢购价:¥ 38.00
易购价:¥ 38.00
注:参加抢购将不再享受其他优惠活动
亲,很抱歉,您购买的宝贝销售异常火爆,让小苏措手不及,请稍后再试~
验证码错误
看不清楚?换一张
确定关闭
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
查看我的收藏夹
非常抱歉,您前期未参加预订活动,无法支付尾款哦!
关闭
抱歉,您暂无任性付资格
继续等待
0小时0分
立即开通
SUPER会员