17,528 recent views

#### 100% online

Start instantly and learn at your own schedule.

#### English

Subtitles: English

### Skills you will gain

Logic GateComputer-Aided Design (CAD)Digital DesignBoolean Algebra

#### 100% online

Start instantly and learn at your own schedule.

#### English

Subtitles: English

### Syllabus - What you will learn from this course

Week
1
2 hours to complete

## 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 video (Total 25 min), 2 readings, 5 quizzes
1 video
Syllabus10m
Tools For This Course5m
1 practice exercise
Demographics Survey5m
2 hours to complete

## 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 videos (Total 91 min), 2 readings
6 videos
Computational Boolean Algebra: Application to Logic Network Repair16m
Computational Boolean Algebra: Recursive Tautology9m
Computational Boolean Algebra: Recursive Tautology—URP Implementation20m
Week 1 Overview10m
Week 1 Assignments10m
Week
2
7 hours to complete

## 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 videos (Total 135 min), 2 readings, 2 quizzes
7 videos
BDD Ordering28m
Satisfiability (SAT), Part 113m
Boolean Constraint Propagation (BCP) for SAT17m
Using SAT for Logic25m
Week 2 Overview10m
Week 2 Assignments10m
1 practice exercise
Problem Set #11h
Week
3
3 hours to complete

## 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 videos (Total 119 min), 2 readings, 1 quiz
8 videos
Multilevel Logic and the Boolean Network Model13m
Multilevel Logic: Algebraic Model for Factoring14m
Multilevel Logic: Algebraic Division14m
Multilevel Logic: Role of Kernels and Co-Kernels in Factoring14m
Multilevel Logic: Finding the Kernels18m
Week 3 Overview10m
Week 3 Assignments10m
1 practice exercise
Problem Set #21h
Week
4
7 hours to complete

## 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 videos (Total 123 min), 2 readings, 3 quizzes
8 videos
Multilevel Logic—Implicit Don't Cares, Part 117m
Multilevel Logic—Implicit Don't Cares, Part 211m
Multilevel Logic—Satisfiability Don't Cares10m
Multilevel Logic—Controllability Don't Cares19m
Multilevel Logic—Observability Don't Cares17m
Week 4 Overview10m
Week 4 Assignments10m
2 practice exercises
Problem Set #31h
Auxiliary Quiz of Serious BDDs15m
4.8
21 Reviews

## 14%

started a new career after completing these courses

## 14%

got a tangible career benefit from this course

### Top reviews from VLSI CAD Part I: Logic

By SVAug 14th 2017

Really Enjoyed taking the course. The course gives interesting insights about how various EDA tools work and algorithms that make it possible.

By RRFeb 24th 2019

It’s a great course with good compilation of source materials. Thanks to the Professor and the university for this wonderful online course.