数字系统设计自动化2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

数字系统设计自动化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 数据处理速率PDR43

§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