 | 书 名: 数字系统设计自动化（第2版）：计算机科学与技术学科研究生系列教材（中文版）
作 者: 边计年
出 版 社: 清华大学出版社
ISBN : 730210759
原 价: ￥49
 有一家网站低于85折正在热销 | 数字系统设计自动化（第2版）：计算机科学与技术学科研究生系列教材（中文版）-图书目录:
第1章概论11.1电子设计自动化技术发展的回顾11.2数字系统自动设计的流程31.3从EDA的角度观察VLSI51.3.1VLSI的分类61.3.2芯片布图模式71.3.3可编程逻辑器件101.4EDA的主要领域151.4.1硬件描述语言151.4.2模拟验证201.4.3综合技术211.4.4数字系统形式验证221.4.5测试诊断221.4.6版图设计231.4.7数据库241.5集成电路快速发展对设计自动化的挑战与机遇25本章小结27习题27参考文献28第2章硬件描述语言302.1硬件描述302.1.1电路模型的描述302.1.2硬件描述语言332.2VHDL的基本结构352.2.1VHDL模块模型352.2.2对象及其数据类型372.2.3表达式472.2.4子程序——过程与函数522.2.5程序包与设计库562.3VHDL层次化结构模型602.3.1实体声明602.3.2元件例化622.3.3配置指定642.4VHDL的顺序行为描述702.4.1进程712.4.2顺序信号赋值语句742.4.3变量赋值语句752.4.4条件控制语句762.4.5循环控制语句772.4.6顺序断言语句792.4.7顺序过程调用802.4.8返回语句812.4.9空语句81目录数字系统设计自动化2.5VHDL的并行行为描述822.5.1并行信号赋值语句822.5.2并行断言语句852.5.3并行过程调用语句862.5.4决断信号862.6VHDL行为模型的执行过程892.6.1事项处理与事件892.6.2信号赋值中的延迟处理902.6.3模拟时钟与模拟周期942.6.4实例952.7VHDL的复合并行语句982.7.1block语句982.7.2生成语句1002.8大型电路设计举例1022.8.1交通灯控制器1022.8.2用有限自动机描述系统行为1032.9Verilog语言简介1092.9.1Verilog基本组成1092.9.2Verilog结构描述1112.9.3对象类型与常数1122.9.4基本行为模型——进程1122.9.5持续赋值与过程赋值1142.9.6控制语句1152.9.7任务与函数1162.9.8顺序语句块和并行语句块1182.9.9混合描述举例120本章小结123习题124参考文献133第3章模拟验证1353.1模拟验证概述1353.1.1验证在设计过程中的作用1353.1.2模拟系统的基本组成1373.2逻辑模拟1393.2.1逻辑模拟内部电路模型1393.2.2事件驱动模拟算法1443.2.3三值模拟与竞争冒险检测1543.3VHDL模拟1573.3.1VHDL模拟系统的组成1573.3.2VHDL内部模型1603.3.3VHDL模拟算法1643.4硬件验证语言1693.4.1硬件验证语言出现的背景1693.4.2用硬件验证语言实现模拟验证的方法1703.4.3Jeda语言的运行机制1733.4.4Jeda语法特点1753.4.5Jeda验证实例179本章小结188习题189参考文献192第4章逻辑综合1934.1逻辑综合的内容和方法1934.2布尔函数的立方体表示法1974.3立方体运算1994.3.1基本概念1994.3.2相交和包含判断的具体实现2074.3.3锐积运算2094.3.4星积运算2164.4多输出函数与单输出函数的阵列变换2184.4.1单输出函数的表示形式2194.4.2阵列合并2204.4.3阵列分离2204.5单输出函数质立方体的计算2214.5.1锐积求质立方体2214.5.2迭代星积求质立方体2214.5.3广义星积法求质立方体2234.6单输出函数的自动综合2264.6.1选拔法求最小化覆盖2274.6.2收缩算法求无冗余覆盖2314.7多输出函数的自动综合2324.7.1收缩算法求无冗余覆盖2324.7.2选拔法求最小化覆盖2354.8组合逻辑电路的变换2374.8.1多级逻辑电路转化为二级逻辑电路2374.8.2二级逻辑电路转化为多级逻辑电路2404.9时序逻辑电路的自动综合2444.9.1时序电路的数学模型2454.9.2完全规定时序机状态最小化2464.9.3不完全规定时序机的状态化简2504.9.4时序机的状态分配255本章小结257习题258参考文献263第5章高层次综合2655.1高层次综合概述2655.1.1高层次综合的概念2655.1.2高层次综合的优点2665.2高层次综合的内容2675.2.1编译与转换2675.2.2调度与分配2725.2.3控制器综合2735.2.4结果生成与反编译2745.2.5高层次综合中的设计空间搜索2765.3调度技术2765.3.1调度的基本问题2765.3.2调度算法的分类2795.3.3ASAP调度算法与ALAP调度算法2815.3.4列表调度算法2855.3.5调度中控制结构的处理2875.3.6调度中的功能单元库2975.4分配技术2995.4.1分配的基本问题2995.4.2分配算法3015.5高层次综合中的优化技术3095.5.1具有分支控制结构时操作的移动3095.5.2控制数据流图的结构变换311本章小结316习题317参考文献322第6章形式验证3256.1形式验证概述3256.1.1形式验证的意义3256.1.2形式验证的基本方法3276.2定理证明3306.2.1形式逻辑3306.2.2高阶逻辑定理证明系统HOL3346.2.3用HOL验证硬件电路3386.3模型检验3406.3.1模型检验概述3406.3.2系统建模： Kripke结构3426.3.3性质表示： 时态逻辑3446.3.4显式模型检验3486.4符号模型检验3526.4.1时态逻辑的固定点特性3536.4.2布尔函数的表示方法——二叉判别图3566.4.3用BDD隐式表示有限状态机3606.4.4CTL符号模型检验3636.5定界模型检验3656.5.1可满足性问题3656.5.2时态逻辑的定界语义3686.5.3定界模型检验问题到SAT问题的转化3696.6组合电路的等价性检验3726.7时序电路的等价性检验3756.7.1基于显式状态遍历的等价性检验3766.7.2基于BDD隐式状态遍历的等价性检验377本章小结379习题381参考文献384第7章测试与可测性设计3867.1测试的概念3867.1.1测试与故障诊断3867.1.2故障模型3877.1.3测试集3887.1.4等价故障3907.2路径敏化法测试码生成3947.2.1单路径敏化法3957.2.2D算法3977.2.3路径敏化算法的改进4057.3布尔差分法4097.4多故障的测试码生成4157.4.1多故障模型的D算法4157.4.2高阶布尔差分法4167.5时序电路的测试码生成4197.5.1时序电路的迭代展开4197.5.2扩展D算法4217.6故障模拟4247.6.1并行故障模拟4247.6.2演绎故障模拟4257.6.3同时故障模拟4277.7可测性设计4287.7.1可测性分析4287.7.2设置观察点和控制点4347.7.3组合电路的可测性电路结构4357.7.4扫描方式电路设计4387.7.5内建自测试设计440本章小结442习题443参考文献446第8章面向深亚微米工艺的EDA技术4488.1深亚微米工艺对集成电路设计的影响4488.2综合与布图结合4488.2.1布图过程中减小时延的措施4498.2.2综合过程中减小时延的措施4508.2.3布局后再局部逻辑重构的综合系统4508.2.4可替换线算法4518.2.5基于图匹配的等价逻辑块替换算法4558.3面向SOC的设计技术4588.3.1系统描述4598.3.2软硬件划分4618.3.3软硬件协同设计与验证4638.3.4基于平台的软硬件协同设计与验证464本章小结466习题466参考文献467第9章用EDA工具设计集成电路4689.1MAX+plus Ⅱ的使用方法4699.1.1安装MAX+plus Ⅱ4699.1.2设计流程4719.1.3设计的原理图描述4739.1.4设计的VHDL描述4789.1.5编译4829.1.6模拟4859.1.7时序分析器4889.1.8对目标器件编程4899.1.9引脚分配4909.1.10报告文件4969.2设计实例和设计技巧4979.2.1VHDL可综合子集4979.2.2运算符重载4989.2.3寄存器的行为描述5009.2.4组合逻辑与时序逻辑5029.2.5有限状态机的状态编码5049.2.6交通灯控制器505本章小结510习题510参考文献526附录AVHDL预定义环境527A.1VHDL保留字527A.2属性528A.2.1类型和子类型的属性528A.2.2数组的属性530A.2.3其值为信号的属性532A.2.4其值与信号有关的属性532A.2.5其值与实体有关的属性534A.3程序包536A.3.1标准程序包STANDARD536A.3.2文本输入输出程序包TEXTIO544A.3.3IEEE多值逻辑系统标准包std_logic_1164546A.3.4std_logic_unsigned549A.3.5std_logic_signed551附录B英汉名词对照表553
数字系统设计自动化（第2版）：计算机科学与技术学科研究生系列教材（中文版）-图书简介:
本书是1996年出版的《数字系统设计自动化》一书的第2版，是为高等学校计算机、电子工程等有关专业的研究生和高年级学生编写的教科书，着重介绍关于数字系统的电子设计自动化（Electronic Design Automation，EDA）各个领域的基础理论和最新发展。第2版在第1版的基础上对大部分内容做了更新，力求反映最新发展。本书力求做到深入浅出而又不失严密性，其中包含作者多年来教学科研工作的成果。本书既为EDA工具的开发者提供理论基础，也为使用EDA工具的设计者提供必要的专业知识。
本书共分9章，第1章介绍EDA的各个领域概貌； 第2章介绍硬件描述语言，着重介绍VHDL，并简要介绍Verilog； 第3章介绍逻辑模拟和VHDL模拟技术，以及最新出现的硬件验证语言； 第4章介绍组合电路和时序电路的逻辑综合技术； 第5章介绍高层次综合技术； 第6章介绍等价性验证和模型检验的形式验证方法； 第7章简要介绍故障诊断和测试码生成的基本技术； 第8章介绍EDA领域的最新发展； 第9章介绍EDA工具MAX+plus Ⅱ的使用方法。
数字系统设计自动化（第2版）：计算机科学与技术学科研究生系列教材（中文版）-相关最新图书
·当代思潮(中国社会科学者论著提要)
·网络管理技术专家门家(黑魔方丛书)
·动画运动规律：艺术院校动画基础系列教材
·PLC原理与应用（松下FPO系列）:21世纪高职高专规划教材
·程序设计教程（Visual C++）:高等学校计算机基础教育教材精选
·传感技术与实验——传感器件外形、标定与实验
·数据结构
·中国教育制度通史(第四卷)
·古董主义
·经济发展理论与政策
·Maya6 Wow!Book——角色动画篇
·企业会计准则的会计与审计应用：收入、建造合同、或有时项目、会计政策、会计估计变更
·美学原理
·抬头看天
·简明美学原理
·现代汽车维修企业管理实务
·产业发展论
·档案计算机管理教程
·相约彩云下(云南民族婚恋)--云南民族文化知识丛书
·整合型量化管理
| 