《数字计算机设计自动化的理论和方法》求取 ⇩

第一章　引论1

1.1　设计自动化的目标与用途1

目录3

译者序3

1.2　发展情况4

序言5

1.3　设计一个计算机系统12

第二章　逻辑综合23

2.1　引言23

2.2　记号、定义及基本结果28

2.3　覆盖一个单-输出的开关函数38

2.4　求多-输出开关函数的覆盖58

2.5　通过因子分解综合有限制的“与非”网络68

2.6　电路更改技术91

2.7　数据结构100

2.8　其他课题103

第三章　门级逻辑模拟118

3.1 引言118

3.2　逻辑模拟过程120

3.3　建立逻辑模型130

3.4　模型的考验151

3.5　故障模拟165

3.6　专门的模拟方法172

3.7　模拟程序的例子179

3.8　模拟程序的选择标准187

第四章　分划与板片选择199

4.1 引言199

4.2　构成材料和技术的影响200

4.3　逻辑设计的图论表示法202

4.4　可更换单元的标准库207

4.5　分划问题214

4.6　选择问题231

4.7　未解决的问题和结论239

第五章　布局方法244

5.1 引言244

5.2　布局问题的定义和图的模型245

5.3　联结规则250

5.4　有关的数学问题252

5.5　构造初始布局的方法258

5.6　改善布局的迭代法281

5.7　分支限界法303

5.8　结论311

第六章　走线325

6.1 引言325

6.2　连线表的决定329

6.3　分层338

6.4　排次序351

6.5　布线355

6.6　最后评述373

第七章　故障测试的产生380

7.1　引言380

7.2　一些定义382

7.3　一些经典方法的回顾388

7.4　组合逻辑的测试产生模型393

7.5　时序逻辑的测试产生模型431

7.6　自动测试的应用447