Об этом курсе
4.7
Оценки: 77
Рецензии: 15
100% онлайн

100% онлайн

Начните сейчас и учитесь по собственному графику.
Гибкие сроки

Гибкие сроки

Назначьте сроки сдачи в соответствии со своим графиком.
Промежуточный уровень

Промежуточный уровень

Часов на завершение

Прибл. 29 часа на выполнение

Предполагаемая нагрузка: 6 hours/week...
Доступные языки

Английский

Субтитры: Английский...

Приобретаемые навыки

Logic GateComputer-Aided Design (CAD)Digital DesignBoolean Algebra
100% онлайн

100% онлайн

Начните сейчас и учитесь по собственному графику.
Гибкие сроки

Гибкие сроки

Назначьте сроки сдачи в соответствии со своим графиком.
Промежуточный уровень

Промежуточный уровень

Часов на завершение

Прибл. 29 часа на выполнение

Предполагаемая нагрузка: 6 hours/week...
Доступные языки

Английский

Субтитры: Английский...

Программа курса: что вы изучите

Неделя
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. ...

Часто задаваемые вопросы

  • Зарегистрировавшись на сертификацию, вы получите доступ ко всем видео, тестам и заданиям по программированию (если они предусмотрены). Задания по взаимной оценке сокурсниками можно сдавать и проверять только после начала сессии. Если вы проходите курс без оплаты, некоторые задания могут быть недоступны.

  • Оплатив сертификацию, вы получите доступ ко всем материалам курса, включая оцениваемые задания. После успешного прохождения курса на странице ваших достижений появится электронный сертификат. Оттуда его можно распечатать или прикрепить к профилю LinkedIn. Просто ознакомиться с содержанием курса можно бесплатно.

Остались вопросы? Посетите Центр поддержки учащихся.