第一章 数字系统 1
1.1 概述 1
1.2 作为一个贮存单元的触发器 4
一、时钟脉冲触发器 7
二、J-K触发器 8
三、D触发器 9
四、主从触发器 10
1.3 时序和时钟脉冲滞后 11
一、移位寄存器 14
1.4 MSI复杂电路 14
二、计数器 15
三、加法器 17
1.5 LSI复杂电路Ⅰ：存贮器 21
一、只读存贮器（ROM） 22
二、可编程只读存贮器（PROM） 23
三、可重新编程只读存贮器（REPROM） 24
四、随机存取存贮器（RAM） 25
五、电荷耦合器件顺序存贮 30
1.6 LSI复杂电路Ⅱ可编逻辑阵列 32
1.7 LSI复杂电路Ⅲ微处理机和微型计算机 36
参考文献 37
第二章 电路的描述与描述语言 39
2.1 概述 39
2.2 连接关系的描述及其描述方法 42
一、线图描述法 42
二、偶图描述法 44
三、数据结构 45
2.3 结构描述语言 47
一、HSL功能概述 47
二、HSL语言应用举例 50
2.4 功能描述语言 58
一、DDL描述语言概述 59
二、DDL语言应用举例 63
2.5 单元的图形描述 65
一、单元的版图描述 66
二、单元的拓扑描述 67
参考文献 69
第三章 逻辑模拟 71
3.1 概述 71
一、编译方式 74
3.2 逻辑模拟方式 74
二、事件驱动方式 77
三、时间流程和控制方式 82
3.3 逻辑模拟 84
一、门级逻辑模拟 84
二、多值模拟 92
3.4 故障模拟 100
一、问题的提出 100
二、故障模拟技术 101
三、故障压缩 109
3.5 矢量过程上的快速逻辑模拟 120
一、引言 120
二、矢量过程和逻辑模拟 122
三、组合电路的高速模拟 124
四、同步时序电路的高速模拟 131
参考文献 135
第四章 布局设计 136
4.1 概述 136
一、布图设计中的主要模式 136
二、布局问题的复杂性 138
三、布局设计的目标 139
4.2 积木块模式布局算法简介 139
4.3 网络划分与条块的形成 142
一、网络划分中的边割模型与网割模型 142
二、网络的最佳网割二划分算法 145
三、布局单元的扩充 150
四、条块的形成 151
五、对奇异形状单元的处理 154
一、图模型 155
4.4 块内单元的安置 155
二、最优“下料”算法 158
三、块内单元安置算法 160
4.5 布局改善 165
一、对不合理条块的处理 165
二、布局设计中连线长度的计算 167
三、块及其单元的方位选择 168
四、布局单元的恢复 170
参考文献 172
一、布线设计的目标 177
二、布线方法分类 177
第五章 布线设计 177
5.1 概述 177
5.2 通道划分与总体布线 178
一、布线区域的划分 178
二、总体布线 181
5.3 通道定序与环形通道约束问题 185
一、问题的提出 185
二、无环情况下的通道定序 186
三、一般情况下的通道定序 187
一、通道区布线的基本限制条件 190
5.4 通道区布线算法 190
二、几种平行边界两边通道区布线算法 193
三、二边不规则边界通道区布线算法 201
四、三边、四边、L型通道布线算法 209
5.5 通道布线的其它问题 215
一、基于整体优化考虑的通道区布线问题 215
二、布线过程中通道区的变形和消失问题 223
三、通孔优化问题 230
参考文献 231
6.1 概述 235
第六章 LSI/VLSI的故障测试 235
6.2 故障测试的概念与方法 236
一、故障模型的建立 236
二、故障模拟 237
三、测试生成 237
四、测试生成方法 238
五、响应分析 238
6.3 系统级的故障测试方法 239
一、测试图模型的建立 239
二、路径集的生成 242
三、测试方法 244
6.4 可测性设计 248
一、电路划分 249
二、自测试 251
三、内部测试 251
参考文献 257
第七章 一个典型的ICCAD系统ACT 260
7.1 概述 260
一、ICCAD系统的功能与基本结构 260
二、ICCAD系统的三种结构 262
三、ICCAD系统的硬件配置 264
四、ICCAD系统中的人机交互 265
7.2 ACT系统简介 266
7.3 ACT系统的硬件配置 269
7.4 ACT系统的命令环境 271
一、注册、注销及ACT基本命令 271
二、交互式命令 275
三、背景模式 276
四、变量模框区 276
7.5 ACT系统的文件管理 277
一、文件类型 278
二、文件的组织 279
三、进入目录 280
7.6 ACT系统命令和工具 282
一、ACT中主要的实用命令 282
二、设计获取工具 283
三、设计验证工具 284
四、布局与布线工具 285
五、符号掩膜设计工具 286
六、几何掩膜设计工具 287
七、功能验证与反馈工具 288
八、测试程序开发工具 289
参考文献 290
8.1 概述 291
第八章 图论及算法复杂性 291
8.2 图的基本知识 292
8.3 算法复杂性 300
8.4 数据库介绍和深度优先搜索 309
一、邻接矩阵和邻接目录 309
二、深度优先搜索 314
三、两个线性时间算法 318
参考文献 327
9.2 NP-完全性介绍 329
第九章 图论难题 329
9.1 概述 329
一、P类和NP类 330
二、NP-完全性和Cook定理 335
9.3 图论问题的NP-完全性 340
一、覆盖问题、独立集问题和完备子图问题 341
二、哈密顿路径和回路（货郎担问题） 343
三、图的着色问题 349
9.4 结论 355
参考文献 356