《数字集成电路CAD理论与方法》求取 ⇩

第一章数字系统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系统ACT260

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