你将学到什么？
Logic Gate
Computer-Aided Design (CAD)
Digital Design
Boolean Algebra
课程概况
现代大型集成电路非常复杂， 第三方(即所谓的知识产权——在芯片设计中指某种设计技术的专利，包括数亿个晶体管、数百万个部署操作和控制的逻辑门和大型内存块IP模块)预先设计的嵌入式模块。 那么如何设计这些复杂的芯片呢？ 答案就是： 辅助计算机设计(CAD)通过计算机对芯片进行抽象描述，逐步完善工具，直至最终完成设计。本课程的重点是制作特定用途的集成电路(ASIC)或系统芯片(SoC)主要设计工具， 关注合成和验证逻辑布局的有效性；
旨在帮助学生理解设计软件的基本算法、数据结构和工作原理。本课程适用于以下人群：（1）构建VLSI对设计工具感兴趣； (2)对VLSI对芯片设计和软件工具的设计原理感兴趣； (3)喜欢超酷算法，即计算涉及位置、逻辑门、几何图形、图表、矩阵和时间的问题。
A modern VLSI chip has a zillion parts — logic, control, memory, interconnect, etc. How do we design these complex chips? Answer: CAD software tools. Learn how to build thesA modern VLSI chip is a remarkably complex beast: billions of transistors, millions of logic gates deployed for computation and control, big blocks of memory, embedded blocks of pre-designed functions designed by third parties (called “intellectual property” or IP blocks). How do people manage to design these complicated chips? Answer: a sequence of computer aided design (CAD) tools takes an abstract description of the chip, and refines it step-wise to a final design. This class focuses on the major design tools used in the creation of an Application Specific Integrated Circuit (ASIC) or System on Chip (SoC) design. Our focus in this first part of the course is on key Boolean logic representations that make it possible to synthesize, and to verify, the gate-level logic in these designs. This is the first step of the design chain, as we move from logic to layout. Our goal is for students to understand how the tools themselves work, at the level of their fundamental algorithms and data structures. Topics covered will include: Computational Boolean algebra, logic verification, and logic synthesis (2-level and multi-level).
课程大纲
周1
完成时间为 2 小时
Orientation
In this module you will become familiar with the course and our learning environment. The orientation will also help you obtain the technical
skills required for the course.
1 个视频 (总计 25 分钟), 2 阅读材料， 5 个测验
完成时间为 2 小时
Computational Boolean Algebra
In this module, we will introduce advanced Boolean algebra math concepts that make it possible to take a "computational" approach to
Boolean algebra.
6 个视频 (总计 91 分钟), 2 个阅读材料
周2
完成时间为 7 小时
Boolean Representation via BDDs and SAT
Week 2 introduces two powerful and important representation techniques that allow us to do SERIOUS computational Boolean algebra, on
industrial-scale designs.
7 个视频 (总计 135 分钟), 2 阅读材料， 2 个测验
周3
完成时间为 3 小时
2-Level Logic Synthesis, and Multi-Level Logic Synthesis via the Algebraic Model
In Week 3, we will move from "representing" things to "synthesizing" things. In this case, synthesis means "optimization", or maybe the word
"minimization" is more familiar from hand work with Kmaps or Boolean algebra.
8 个视频 (总计 119 分钟), 2 阅读材料， 1 个测验
周4
完成时间为 7 小时
Multilevel Factor Extract and Don't Cares
You now know that to factor a multi-level network to reduce its complexity, you must look at the kernels and co-kernels. You know how to "get" these for any node. But -- what do you do with a big network to actually FIND the right common divisors? This is called EXTRACTION. We then look at a new opportunity to optimize multi-level logic: Don't Cares. In simple designs, we usually regard Don't Cares as "impossible inputs" -- things that just do not happen, so we can choose the value the hardware creates to minimize the logic.
8 个视频 (总计 123 分钟), 2 阅读材料， 3 个测验
周5
完成时间为 3 小时
Final Exam
There is no new content this week. Instead, you should focus on finishing the last problem set and completing the Final Exam.
预备知识
需要相关的编程经验(C ，Java)，了解数据结构和算法的基本概念， 对数字设计有基本的了解，包括： 布尔代数、三维可视化装配工艺规划软件(Kmaps)、了解自动机设计的有限状态； 性代数和微积分达到工程初级或高级水平。 对超大规模集成电路的掌握程度达到本科水平较好，但不件。 本课程相对独立，但是具备一定VLSI基础学生可以跳过一些背景材料的学习。
参考资料
课程相对独立，不依赖于其他教材， 但是，我们仍然会推荐一些参考资料，比如在会议或期刊上发表的论文， 目前市场上还没有逻辑布局、表达式、优化、合成、验证的一站式单本教材， 因此，我们将在课堂上尽可能全面和完整。
常见问题
工业设计软件的使用会在课堂上学习吗？
课程不属于所谓的"VLSI设计"因此，重点不是如何使用软件工具，而是如何构建设计工具软件。
我需要准备什么来学习这门课？
一台装有Windows、Mac或Linux系统计算机可以编写、编译和操作程序，可以使用Java或C 对于一些编程作业，只要能读取输入文件并按要求格式编写输出文件，学生就可以选择自己喜欢的语言进行编程.
学完这门课，我最大的收获是什么？
如何利用超酷算法和数据结构实现逻辑与布局的合成？我们可以创建一个6-7变量卡诺图，然后迎接头脑风暴的到来。现代计算辅助设计可用于设计数百万门数量级逻辑门电路。显然，这是一个创造魔力的时代。加入我们，一起探索秘密。