课程信息
4.7
77 个评分
15 个审阅
100% 在线

100% 在线

立即开始,按照自己的计划学习。
可灵活调整截止日期

可灵活调整截止日期

根据您的日程表重置截止日期。
中级

中级

完成时间(小时)

完成时间大约为29 小时

建议:6 hours/week...
可选语言

英语(English)

字幕:英语(English)...

您将获得的技能

Logic GateComputer-Aided Design (CAD)Digital DesignBoolean Algebra
100% 在线

100% 在线

立即开始,按照自己的计划学习。
可灵活调整截止日期

可灵活调整截止日期

根据您的日程表重置截止日期。
中级

中级

完成时间(小时)

完成时间大约为29 小时

建议:6 hours/week...
可选语言

英语(English)

字幕:英语(English)...

教学大纲 - 您将从这门课程中学到什么

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....
Reading
1 个视频(共 25 分钟), 2 个阅读材料, 5 个测验
Video1 个视频
Reading2 个阅读材料
Syllabus10分钟
Tools For This Course5分钟
Quiz1 个练习
Demographics Survey5分钟
完成时间(小时)
完成时间为 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. ...
Reading
6 个视频(共 91 分钟), 2 个阅读材料
Video6 个视频
Computational Boolean Algebra: Boolean Difference15分钟
Computational Boolean Algebra: Quantification Operators13分钟
Computational Boolean Algebra: Application to Logic Network Repair16分钟
Computational Boolean Algebra: Recursive Tautology9分钟
Computational Boolean Algebra: Recursive Tautology—URP Implementation20分钟
Reading2 个阅读材料
Week 1 Overview10分钟
Week 1 Assignments10分钟
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....
Reading
7 个视频(共 135 分钟), 2 个阅读材料, 2 个测验
Video7 个视频
BDD Basics, Part 216分钟
BDD Sharing17分钟
BDD Ordering28分钟
Satisfiability (SAT), Part 113分钟
Boolean Constraint Propagation (BCP) for SAT17分钟
Using SAT for Logic25分钟
Reading2 个阅读材料
Week 2 Overview10分钟
Week 2 Assignments10分钟
Quiz1 个练习
Problem Set #1分钟
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....
Reading
8 个视频(共 119 分钟), 2 个阅读材料, 1 个测验
Video8 个视频
2-Level Logic: The Reduce-Expand-Irredundant Optimization Loop13分钟
2-Level Logic: Details for One Step: Expand20分钟
Multilevel Logic and the Boolean Network Model13分钟
Multilevel Logic: Algebraic Model for Factoring14分钟
Multilevel Logic: Algebraic Division14分钟
Multilevel Logic: Role of Kernels and Co-Kernels in Factoring14分钟
Multilevel Logic: Finding the Kernels18分钟
Reading2 个阅读材料
Week 3 Overview10分钟
Week 3 Assignments10分钟
Quiz1 个练习
Problem Set #2分钟
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....
Reading
8 个视频(共 123 分钟), 2 个阅读材料, 3 个测验
Video8 个视频
Mulitlevel Logic and Divisor Extraction—Multiple Cube Case20分钟
Multilevel Logic and Divisor Extraction—Finding Prime Rectangles & Summary10分钟
Multilevel Logic—Implicit Don't Cares, Part 117分钟
Multilevel Logic—Implicit Don't Cares, Part 211分钟
Multilevel Logic—Satisfiability Don't Cares10分钟
Multilevel Logic—Controllability Don't Cares19分钟
Multilevel Logic—Observability Don't Cares17分钟
Reading2 个阅读材料
Week 4 Overview10分钟
Week 4 Assignments10分钟
Quiz2 个练习
Problem Set #3分钟
Auxiliary Quiz of Serious BDDs15分钟

讲师

Avatar

Rob A. Rutenbar

Adjunct Professor
Department of Computer Science

关于 University of Illinois at Urbana-Champaign

The University of Illinois at Urbana-Champaign is a world leader in research, teaching and public engagement, distinguished by the breadth of its programs, broad academic excellence, and internationally renowned faculty and alumni. Illinois serves the world by creating knowledge, preparing students for lives of impact, and finding solutions to critical societal needs. ...

常见问题

  • 注册以便获得证书后,您将有权访问所有视频、测验和编程作业(如果适用)。只有在您的班次开课之后,才可以提交和审阅同学互评作业。如果您选择在不购买的情况下浏览课程,可能无法访问某些作业。

  • 您购买证书后,将有权访问所有课程材料,包括评分作业。完成课程后,您的电子课程证书将添加到您的成就页中,您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容,可以免费旁听课程。

还有其他问题吗?请访问 学生帮助中心