目录 2
第1篇基于IP复用的数字IC设计导论 2
第1章数字IC设计概述 2
1.1 数字IC设计方法学演进 2
1.2典型的数字IC开发流程 4
1.3未来数字在片系统（SOC）芯片的设计流程 7
第2章基于IP复用的数字IC设计的基本规则 10
2.1逻辑设计规则 10
2.2物理设计规则 13
2.3可验证设计规则 14
2.4可测试设计规则 15
2.5低功耗设计规则 19
2.6片上总线设计规则 22
第2篇基于IP复用的数字IC设计中的关键技术 26
第3章代码编写技术 26
3.1关于代码编写的描述语言 26
3.1.1关于VHDL语言 27
3.1.2关于Verilog HDL语言 28
3.1.3硬件描述语言的共同特征 29
3.2现代数字IC设计的表示方法 30
3.3代码编写时针对综合的模块划分规则与技巧 31
3.4针对综合的代码编写规则与技巧 36
3.5时钟和复位信号的代码编写准则 43
3.6 良好的代码编写风格 46
4.1.1系统综合的概念 49
4.1系统综合概要 49
第4章综合技术 49
4.1.2高层次综合的意义 50
4.1.3高层次综合的任务和流程 51
4.2综合概念、环境设置及基本操作 54
4.3综合约束 63
4.3.1设计环境约束 63
4.3.2时间约束 67
4.3.3面积约束 73
4.4综合策略及综合优化技术 73
4.4.1综合策略 73
4.4.2综合优化处理技术 77
4.5综合处理与后端流程 80
4.5.1产生良好的综合网表 81
4.5.2 ASIC后端流程的基本内容 84
4.5.3基于布局布线结果进行综合优化 91
4.6综合结果分析 95
4.7数据通道电路和存储器的综合技术 99
第5章验证技术 102
5.1概述 102
5.1.1主要的验证手段概述 102
5.1.2主要的验证策略概述 104
5.1.3验证计划的建立 108
5.2功能验证技术 108
5.2.1功能验证中的行为级硬件语言描述 110
5.2.2功能验证中的测试环境构架 116
5.2.3功能验证中的激励与响应 125
5.2.4功能验证中的软硬件协同仿真与硬件加速验证 152
5.3静态时序分析 160
5.4形式验证技术 166
5.5 DFT技术 171
5.5.1 DFT的基本概念 171
5.5.2基于ATPG的扫描测试技术 175
第3篇基于IP复用的数字IC设计 180
第6章数字IC设计中IP资源库的建设 180
6.1 IP技术概述 180
6.2 IP宏模块的开发 183
6.3 IP宏模块的打包提交 194
6.4 IP资源库的建设 196
6.4.1 IP的分类及其管理 197
6.4.2典型的IP资源库 199
6.4.3 IP资源的有偿使用及知识产权保护 212
第7章基于IP复用的数字IC设计与验证 215
7.1基于IP复用的数字IC设计流程 215
7.2 IP复用的数字IC设计中的在片总线 220
7.3基于IP复用的PCI总线接口的设计 225
7.3.1系统级集成设计方法 226
7.3.2基于IP核设计的方法 228
7.3.3应用实例 231
7.3.4用户应用设计 235
7.4 Avalon总线与SOPC系统架构的应用实例 240
7.4.1 SOPC与NIOS 240
7.3.5结论 240
7.4.2 Avalon总线 241
7.4.3 SOPC系统搭建实例 242
7.4.4结论 246
7.5基于IP复用的混合信号系统的设计 246
7.5.1 自顶向下的设计流程 247
7.5.2数据库和复用 248
7.5.3和模块相关的映射 249
7.5.4知识产权 249
7.5.5工艺表 251
7.5.6一般的模块描述 252
7.5.7行为模型 253
7.6.1 已有的知识产权 254
7.5.8总结 254
7.6基于IP复用设计的MPEG-2 HDTV视频解码器 254
7.6.2复用技术 256
7.6.3 MPEG-2 HDTV视频解码器 257
第8章基于IP复用的数字IC设计中的数据管理方法 263
8.1概述 263
8.2关于CVS 270
附录A常用EDA工具 283
A.1 常用EDA工具一览表（见表A-1） 283
A.2常用功能仿真与调试工具举例 284
A.3常用逻辑综合工具举例 286
A.4常用测试技术工具举例 287
参考文献 289