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