高级ASIC芯片综合：使用SYNOPSYS DESIGN COMPILER PHGSICAL COMPIL

图书标准信息

• 作者 巴特纳格尔（Bhatnagar H.） 著；张文俊 译
• 出版社 清华大学出版社
• 出版时间 2007-06
• 版次 1
• ISBN 9787302148814
• 定价 33.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 237页
• 字数 273千字

【内容简介】

　　本书第2版描述了使用Synopsys工具进行ASIC芯片综合、物理综合、形式验证和静态时序分析的最新概念和技术，同时针对VDSM（超深亚微米）工艺的完整ASIC设计流程的设计方法进行了深入的探讨。
　　本书的重点是使用Synopsys工具解决各种VDSM问题的实际应用。读者将详细了解有效处理复杂亚微米ASIC的设计方法，其重点是HDL的编码风格、综合和优化、动态仿真、形式验证、DFT扫描插入、lmkstolayout、物理综合和静态时序分析。在每个步骤中，确定了设计流程中每一部分的问题，并详细描述了解决方法。此外，对包括与时钟树综合和linkst0layo[1t等版图相关的问题也进行了较详细的论述。而且，本书还对Synosys基本的工艺库、HDL编码风格以及最佳的综合解决方案进行了深入探讨。
　　本书的读者对象是ASIC设计工程师和正在学习关于ASIC芯片综合以及DFT技术的VLSI高级课程的硕士研究生。

【作者简介】

　　HimanshuBhamagar是位于美国加州新港海滩（NewportBeach）的科胜讯（Conexant）系统公司ASIC设计小组的领导。科胜讯系统公司是世界上最大的专门提供半导体通信电子产品的公司。Himanshu在使用Synopsys和其他EDA工具厂商提供的最新的高性能工具来定义下一代的ASIC设计流程方法学方面具有较深的造诣。

　　在加入科胜讯之前，Himanshu在新加坡ST微电子工作，该公司的总部位于法国Grenoble。他在斯旺西（Swansea）大学（英国威尔士）获得了电子与计算机科学专业的学士学位。在克莱姆森大学（美国南卡罗来纳州）获得了超大规模集成电路设计专业的硕士学位。

【目录】

第1章ASIC设计方法学
1.1　传统的设计流程
1.1.1　规范和RTL编码
1.1.2　动态仿真
1.1.3　约束、综合和扫描插入
1.1.4　形式验证
1.1.5使用PrimeTime进行静态时序分析
1.1.6　布局、布线和验证
1.1.7　工程改变命令
1.2　PhysicalCompiler流程
1.2.1物理综合
1.3小结
第2章　入门指南静态时序分析与综合
2.1设计示例
2.2　初始设置
2.3　传统流程
2.3.1　布图前的步骤
2.3.2　布图后步骤
2.4　PhysicalCompiler流程
2.5小结
第3章　基本概念
3.1　Synopsys产品
3.2　综合环境
3.2.1　启动文件
3.2.2　系统库变量
3.3　对象、变量和属性
3.3.1　设计对象
3.3.2　变量
3.3.3　属性
3.4　找寻设计对象
3.5Synopsys格式
3.6　数据组织
3.7　设计输入
3.8　编译指令
3.8.1　HDL编译器指令
3.8.2　VHDL编译器指令
3.9小结
第4章　Synopsys工艺库
4.1工艺库
4.1.1逻辑库
4.1.2　物理库
4.2　逻辑库基础
4.2.1库类
4.2.2库级属性
4.2.3　环境描述
4.2.4单元描述
4.3　延时计算
4.3.1　延时模型
4.3.2　延时计算问题
4.4　何谓好库?
4.5小结
第5章　划分和编码风格
5.1综合划分
5.2　何谓RTL?
5.2.1　软件与硬件
5.3　通用指导方针
5.3.1工艺无关
5.3.2　时钟相关逻辑
5.3.3　顶层没有粘合逻辑
……
第6章　设计约束
第7章　优化设计
第8章　可测性设计
第9章　LINKSTOLAYOUT和布图后优化——包括时钟树插入
第10章　物理综合
第11章　SDF生成——为动态时序仿真
第12章　PRIMETIME基础
第13章　静态时序分析——使用PrimeTime
附录A　使用PhysicalCompiler的一个新的时序闭合方法
附录B　Makefile实例