目录 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