本书详细介绍整个静态时序分析流程,分为概述,时序建模,时序分析三大部分,本书的系统地介绍整个静态时序分析流程,并同时通过实战环节中的工程应用实例来做进一步的阐述。
封面图
目录
- 前言
- 第1章引论1
- 1.1集成电路发展史简介1
- 1.2国内集成电路的发展现状2
- 1.3国际集成电路的发展态势4
- 1.4静态时序分析技术4
- 1.4.1静态时序分析简介4
- 1.4.2静态时序分析背景4
- 1.4.3静态时序分析的优缺点5
- 1.5主流静态时序分析与建模工具介绍6
- 第2章静态时序分析的基础知识9
- 2.1逻辑门单元9
- 2.2门单元的时序计算参数10
- 2.3时序单元相关约束12
- 2.4时序路径14
- 2.5时钟特性17
- 2.6时序弧19
- 2.7PVT环境24
- 2.8时序计算单位28
- 第3章单元库时序模型29
- 3.1基本时序模型简介29
- 3.2Synopsys工艺库模型33
- 3.3延时计算模型38
- 3.4互连线计算模型45
- 3.4.1互连线计算模型45
- 3.4.2线负载时序模型47
- 3.5引脚电容值的计算49
- 3.6功耗模型的计算50
- 3.7时序信息建模基本方法51
- 第4章时序信息库文件54
- 4.1非线性延时模型54
- 4.1.1库组54
- 4.1.2因子57
- 4.1.3输入电压组59
- 4.1.4输出电压组59
- 4.1.5功耗查找表模板组59
- 4.1.6操作条件组60
- 4.1.7线负载组60
- 4.1.8延时查找表模板组61
- 4.1.9单元组62
- 4.1.10引脚组64
- 4.1.11触发器组67
- 4.1.12逻辑状态表组68
- 4.1.13电源引脚组69
- 4.1.14延时组69
- 4.1.15单元上拉延时组70
- 4.1.16单元下拉延时组71
- 4.1.17上拉转换组71
- 4.1.18下拉转换组72
- 4.1.19上拉约束组72
- 4.1.20下拉约束组73
- 4.1.21内部功耗组73
- 4.1.22哑阈漏流功耗组74
- 4.2复合电流源延时模型75
- 4.2.1输出电流查找表模板组75
- 4.2.2输出上拉电流组75
- 4.2.3输出下拉电流组76
- 4.2.4向量组76
- 4.2.5接收电容组77
- 第5章静态时序分析的基本方法79
- 5.1时序图79
- 5.2时序分析策略80
- 5.3时序路径延时计算方法81
- 5.4时序路径的分析方法83
- 5.5时序路径分析模式88
- 5.5.1单一分析模式90
- 5.5.2最好-最坏分析模式91
- 5.5.3芯片变化相关分析模式94
- 5.6时序减免96
- 5.7其他芯片变化相关分析模式98
- 5.8时钟路径悲观移除103
- 5.9时序优化105
- 第6章时序约束107
- 6.1时钟约束107
- 6.1.1创建时钟107
- 6.1.2生成时钟111
- 6.1.3虚拟时钟114
- 6.1.4最小时钟脉宽116
- 6.2I/O延时约束117
- 6.3I/O环境建模约束119
- 6.4时序例外121
- 6.5恒定状态约束125
- 6.6屏蔽时序弧126
- 6.7时序设计规则约束127
- 第7章串扰噪声129
- 7.1噪声的定义129
- 7.2噪声的来源130
- 7.3噪声恶化的原因133
- 7.4噪声的体现形式134
- 7.5噪声相互作用形式135
- 7.6NLDM噪声模型的计算136
- 7.7噪声延时计算方法141
- 7.8时间窗口143
- 7.9优化噪声的物理方法145
- 7.10CCS噪声模型148
- 第8章单元时序建模实战153
- 8.1时序信息提取实现153
- 8.1.1时序信息特征化实现流程153
- 8.1.2时序信息特征化数据准备154
- 8.1.3标准单元时序信息提取158
- 8.2SiliconSmart工具的使用流程简介162
- 8.3时序信息提取内容163
- 第9章静态时序分析实战(ETS篇)170
- 9.1静态时序分析的基本流程170
- 9.2建立静态时序分析的工作环境171
- 9.3静态时序分析实现174
- 9.3.1建立时间分析174
- 9.3.2保持时间分析192
- 9.3.3时序设计规则分析201
- 9.3.4时序违反修复204
- 第10章Tcl脚本编程207
- 10.1Tcl语法207
- 10.1.1命令格式207
- 10.1.2替换209
- 10.1.3双引号和花括号211
- 10.1.4注释211
- 10.2数据结构212
- 10.2.1简单变量212
- 10.2.2数组212
- 10.3表达式212
- 10.3.1操作数213
- 10.3.2运算符和优先级213
- 10.3.3数学函数214
- 10.3.4列表集合215
- 10.4控制流219
- 10.4.1if命令219
- 10.4.2循环命令220
- 10.5eval命令223
- 10.6source命令223
- 10.7过程223
- 10.7.1过程定义和返回值224
- 10.7.2局部变量和全局变量224
- 10.7.3默认参数和可变个数参数225
- 10.8引用226
- 10.9字符串操作228
- 10.10文件访问234
- 10.10.1文件名234
- 10.10.2基本文件输入/输出命令234
- 第11章Tcl脚本编程应用实例(PT篇)237
- 11.1get_failing_paths_high_slew237
- 11.2get_interclock_skew241
- 11.3report_unclocked244
- 11.4get_buffers248
- 11.5get_ports_edge_sense255
- 11.6report_clock_endpoint_skew260
- 11.7report_violations264
- 11.8eco_fix_violations271
- 附录290