《数字系统诊断与综合》求取 ⇩

第一章 集合、格与布尔代数1

1—1 集合1

目录1

1—2 偏序集4

1—3 格8

1—4 布尔代数及其性质11

1—5 布尔函数及其标准式16

练习19

参考文献22

2—1 开关代数和开关函数23

第二章 矢量开关代数23

2—2 矢量开关代数和矢量开关函数26

2—3 矢量开关函数的标准形式32

2—4 矢量开关代数在逻辑设计中的应用前景35

练习37

参考文献38

第三章 布尔微分学及其它逻辑系统40

3—1 布尔导数及偏导数40

3—2 布尔微分46

3—3 布尔导数和偏导数的计算49

3—4 多值逻辑52

3—5 模糊逻辑概述55

练习59

参考文献60

第四章 数字电路故障分析62

4—1 故障的定义与分类62

4—2 故障原因及对策66

4—3 逻辑故障模型72

4—4 组合逻辑故障分析75

4—5 时序逻辑故障分析79

4—6 小结83

练习84

参考文献86

第五章 组合逻辑诊断87

5—1 概论87

5—2 通路敏化法93

5—3 布尔差分法98

5—4 D算法100

5—5 路向判决法109

5—6 多故障分析及冗余电路诊断114

5—7 小结120

练习121

参考文献124

第六章 时序逻辑诊断126

6—1 概述126

6—2 时序电路的组合化测试法128

6—3 线路—时间方程135

6—4 时序机的功能测试——试验法142

练习153

参考文献155

7—1 自检测电路157

第七章 数字系统的可靠性设计157

7—2 检错码和纠错码162

7—3 容错设计170

7—4 易测性设计176

练习188

参考文献189

第八章 组合逻辑综合192

8—1 门级逻辑综合192

8—2 通用中、大规模集成电路介绍196

8—3 用数据选择器的组合逻辑设计199

8—4 用ROM的组合逻辑设计203

8—5 用PLA的组合逻辑设计212

8—6 计算机辅助组合逻辑综合219

练习227

参考文献229

第九章 时序逻辑综合231

9—1 概述231

9—2 划分及划分代数236

9—3 置换性划分与格238

9—4 状态化简243

9—5 状态分配251

9—6 时序机的分解260

9—7 小结267

练习268

参考文献270

第十章 数字系统设计272

10—1 概述272

10—2 由顶向下的设计方法274

10—3 控制器设计277

10—4 微程序控制器的设计289

10—5 小结295

练习296

参考文献298