清华大学 《数字系统设计自动化》边计年视频教程[百度云网盘]


◆第一章 概述
◇课前索引
◇第一节　电子设计自动化技术发展的回顾
◇第二节　数字系统自动设计的流程
◇第三节　从EDA的角度观察VLSI
◇第四节　EDA的主要领域
◇第五节　EDA系统的构成
◇本章小结
◇课后习题
◆第二章 硬件描述语言VHDL
◇课前索引
◇第一节　硬件描述与VHDL
◇第二节　VHDL的基本结构
◇第三节　VHDL层次化结构模型
◇第四节　进程内部的顺序行为描述
◇第五节　进程外部的并行行为模型
◇本章小结
◇课后习题
◆第三章 模拟验证
◇课前索引
◇第一节　模拟验证概述
◇第二节　逻辑模拟算法
◇第三节　VHDL模拟
◇本章小结
◇课后习题
◆第四章 逻辑综合
◇课前索引
◇第一节　逻辑综合的内容与方法
◇第二节　布尔函数的立方体表示
◇第三节　立方体运算
◇第四节　多输出函数与单输出函数的阵列变换
◇第五节　单输出函数质立方体的计算
◇第六节　单输出函数的自动综合
◇第七节　多输出函数的自动综合
◇第八节　组合逻辑电路的变换
◇第九节　时序逻辑电路的自动综合
◇本章小结
◇课后习题
◆第五章 高层次综合
◇课前索引
◇第一节　高层次综合的基本概念
◇第二节　高层次综合的内容
◇第三节　调度技术
◇第四节　分配技术
◇第五节　高层次综合中的优化技术
◇本章小结
◇课后习题
◆第六章 形式验证
◇课前索引
◇第一节　形式验证的目的和基本方法
◇第二节　利用二叉判决图验证组合电路的等价性
◇第三节　时序电路的等价性验证
◇第四节　符号模型检验
◇第五节　同步时序电路的有限状态机模型
◇本章小结
◇课后习题
◆第七章 故障诊断
◇课前索引
◇第一节　故障诊断与测试集
◇第二节　敏化路径法求组合电路的测试码
◇第三节　布尔差分法
◇第四节　多故障的测试码生成
◇第五节　时序电路的测试码生成
◇第六节　故障模拟
◇第七节　可测性设计
◇本章小结
◇课后习题
◆第八章 EDA工具MAX+plusII的安装与使用
◇课前索引
◇第一节　MAX+plusII的安装
◇第二节　数字集成电路的设计流程
◇第三节　设计的原理图描述
◇第四节　VHDL描述
◇第五节　编译
◇第六节　模拟
◇第七节　时序分析器
◇第八节　对目标器件编程
◇第九节　引脚分配
◇第十节　阅读报告文件
◇本章小结
◇课后习题
共48讲！！！