数字系统设计自动化PDF格式文档图书下载

目录 1

第一章 计算机设计自动化的内容及方法 1

§1.1 计算机设计自动化的产生与发展 1

§1.2 计算机自动设计和层次式描述 2

§1.3 VLSI设计技术及其对CAD的挑战 6

1 VLSI设计方法概述 6

2 半定制电路的兴起 9

3 VLSI设计技术对CAD的挑战 10

4 VLSI技术的发展趋势 12

§1.4 计算机辅助设计系统的构成 13

1 CAD系统的基本组成 13

2 CAD软件开发环境 15

3 CAD数据库 17

1 结构式设计方法 18

§1.5 智能CAD系统 18

2 基于知识的设计方法 19

3 基于规则的寄存器传输级综合 20

4 逻辑级和电路级综合的专家系统 21

第一章复习思考题 23

第二章 系统性能评估与系统级模拟 24

§2.1 系统级模拟的研究内容 24

1 系统性能评价的技术指标 24

2 系统模拟模型建立的依据 26

3 模拟模型示例 27

§2.2 系统模拟模型的建立 28

1 计算机系统模拟的类型 29

2 模拟模型的构成 31

§2.3 系统级模拟输入语言的选择 32

§2.4 系统级模拟器的构成 33

§2.5 模拟器的运行及有关参数的估算 35

§2.6 作业特性及其性能评价方法 40

1 指令混合法 41

2 核心程序法 42

3 基准程序法 43

4 数据处理速率PDR 43

§2.7 基准程序测试法 44

1 基准程序法的由来 44

2 基准程序的编制 45

3 基准程序测试 45

第二章复习思考题 45

第三章 寄存器传输级硬件描述语言 46

§3.1 引言 46

§3.2 DDL语言的常数、标识符和关键字 47

1 常数 47

3 关键字 48

2 标识符 48

4 基本操作算符 49

§3.3 DDL描述的层次式块状结构 50

§3.4 简单器件说明语句 51

1 引线说明 52

2 寄存器、存储器和暂存器的说明 52

3 定时和延时说明 53

4 布尔说明 54

5 单元说明 54

§3.5 操作语句 55

1 取头、截尾和扩充操作 55

2 结合 55

3 变反和选择操作 56

4 简化 56

7 布尔表达式 57

5 关系和算术操作 57

6 传统的逻辑算符 57

§3.6 条件操作语句 59

1 相容操作集合的条件操作 59

2 条件布尔表达式 60

3 按值子句 61

§3.7 连接和传输操作语句 63

§3.8 移位和计数操作 64

§3.9 标识符说明和循环语句 66

§3.10 复杂部件的算符说明及其硬件生成方法 67

1 算符说明的语法 67

2 硬件生成方法 69

§3.11 复杂部件描述的状态语句和状态说明 71

1 状态语句 71

2 状态分配及硬件生成 72

§3.12 段说明及段转移语句 73

§3.13 自动机说明和系统说明 74

§3.14 数据输入及命令控制语言 77

1 工作方式选择段 77

2 模拟时钟范围段 78

3 外部引线输入段 78

4 存储器件赋值段 78

5 输出段 78

6 转储段 79

7 抑制段 79

8 启动和停止段 79

9 故障设置 79

§3.15 整机性寄存器级模拟举例 80

第三章复习思考题 82

§4.2 寄存器传输级模拟器的组成框图 85

第四章 寄存器传输级模拟技术 85

§4.1 寄存器传输级模拟的目的及意义 85

§4.3 模拟算法与模拟模型 86

1 模拟算法 87

2 模拟时钟 87

3 器件模拟模型 88

4 并行操作 89

5 故障模拟模型 89

§4.4 表驱动法的数据表格结构 89

§4.5 编译器结构及编译算法 93

1 编译器的结构及工作 93

2 语法制导的语义处理 94

4 算术表达式与布尔表达式的编译 95

5 传输与连接操作的编译 95

3 四元式 95

6 条件（if）及按值（case）语句的编译 96

7 复杂器件的编译 96

§4.6 模拟系统工作流程与模拟算法 97

1 系统工作流程 97

2 模拟算法 98

3 寻找当前操作集 98

4 操作相容性检查 99

5 排序 100

§4.7 模拟器的基本结构与模拟控制 101

1 控制模块算法 101

2 输出处理 102

3 标准单元库 102

第四章复习思考题 103

§5.1 自动逻辑综合的内容及意义 104

第五章 多维体运算基础 104

§5.2 硬件翻译的基本任务 105

§5.3 硬件翻译的输入处理 106

§5.4 硬件翻译的数据流分析 106

§5.5 硬件翻译的控制流分析 108

§5.6 硬件翻译的方程产生 108

1 消除布尔表达式中条件句法结构 109

2 简化操作语句中条件句法结构 110

3 方程合并的规则 110

§5.7 布尔方程组的划分 111

§5.8 表示逻辑函数的多维体列阵 112

1 逻辑函数的定义 112

2 多维体概念的建立 114

3 多维体的图形表示 114

1 多维体复形的定义 116

§5.9 多维体复形及质蕴涵项 116

4 函数的初始覆盖 116

2 函数的质蕴涵项 118

§5.10 多维体之间的蕴涵关系 118

1 蕴涵算符？及函数列阵的吸收 118

2 多维体蕴涵的0维体 120

3 由0维体构成多维体 121

§5.11 多维体的并集和交集 123

1 并集运算 123

2 交集运算 123

§5.12 多维体的相容运算 125

§5.13 多维体的锐积运算 127

1 锐积运算的定义 127

2 多维体集合的锐积运算 128

1 函数复形的覆盖及最小覆盖 130

§5.14 两级逻辑网络综合的某些问题 130

2 逻辑网络的造价函数 131

3 质蕴涵项与最小造价覆盖、无冗余覆盖 132

4 两级逻辑网络的实现方式 132

§5.15 质蕴涵项的计算 133

1 Quine-McCluskey方法 133

2 改进的Quine-McCluskey方法 134

§5.16 寻求接近最小覆盖的参数选择法 138

1 基本参数的定义 139

2 参数选择法 139

3 化简多输出函数的参数选择法 143

4 算法评价 147

第五章复习思考题 149

§6.2 逻辑模拟模型的建立 151

§6.1 逻辑模拟的目的及意义 151

第六章 逻辑模拟技术 151

1 元件的延迟时间 152

2 模拟信号的状态值 153

3 模拟时钟及定时算法 159

§6.3 门级逻辑线路描述语言 161

1 器件说明部分 162

2 连接语句部分 167

§6.4 输入、输出及控制命令语言 168

1 命令语句 168

2 置初值语句 169

3 输入信号波形语句 169

4 输出语句 169

§6.5 逻辑模拟算法 176

1 模拟算法的分类 176

2 编译法模拟 178

§6.6 逻辑模拟的表驱动法 179

1 下一事件的同步模拟及其实现 180

2 时间映射异步模拟原理 180

3 表驱动法的数据结构 181

§6.7 线路描述的编译 183

1 器件说明和数组说明的处理 183

2 连接语句的处理 183

3 循环语句的处理 184

4 输入／输出语句的处理 185

5 命令语句的处理 185

§6.8 逻辑模拟的执行及控制 185

1 活动栈的存取 186

5 功能块元件的模拟 187

4 非功能元件的处理 187

3 大延迟、零延迟元件的处理 187

2 外部信号的处理 187

第六章复习思考题 188

第七章 组装设计自动化基础 190

§7.1 引言 190

§7.2 逻辑图的图论表示法 190

§7.3 逻辑划分问题 191

§7.4 启发式自动逻辑划分算法 193

1 功能组自动生成的启发式算法 193

2 功能组分配算法 195

§7.5 生成初始布局的构造法 197

§7.6 改善初始布局的迭代法 198

§7.7 布线问题 201

§7.8 分线问题 201

2 求斯坦纳树的方法 202

1 求最小生成树的方法 202

§7.9 走线路径的确定 203

§7.10 分层问题 208

第七章复习思考题 210

第八章 故障测试 211

§8.1 数字系统的测试问题 211

§8.2 基本概念与测试模型 212

1 故障与测试 212

2 故障模型假设 212

§8.3 组合线路的测试 213

1 通路敏化法 213

2 D算法 214

§8.4 时序线路的测试 219

1 组合化模型方法 220

2 检查实验 222

§8.5 故障模拟 226

1 并行故障模拟 226

2 演绎模拟 227

3 共行模拟 227

4 测试序列自动生成系统 229

§8.6 微处理器的测试 229

1 微处理器的模型与故障模型 229

2 微处理器的测试过程 231

§8.7 易测性设计 234

1 易测性设计的专门方法 235

2 易测性的结构设计 236

第八章复习思考题 240

参考文献 242

内容索引 245

查看更多关于数字系统设计自动化的内容