Acerca de este Curso
16,933 vistas recientes

100 % en línea

Comienza de inmediato y aprende a tu propio ritmo.

Fechas límite flexibles

Restablece las fechas límite en función de tus horarios.

Nivel intermedio

Aprox. 28 horas para completar

Inglés (English)

Subtítulos: Inglés (English)

Habilidades que obtendrás

Logic GateComputer-Aided Design (CAD)Digital DesignBoolean Algebra

100 % en línea

Comienza de inmediato y aprende a tu propio ritmo.

Fechas límite flexibles

Restablece las fechas límite en función de tus horarios.

Nivel intermedio

Aprox. 28 horas para completar

Inglés (English)

Subtítulos: Inglés (English)

Programa - Qué aprenderás en este curso

Semana
1
2 horas para completar

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 minutos), 2 readings, 5 quizzes
2 lecturas
Syllabus10m
Tools For This Course5m
1 ejercicio de práctica
Demographics Survey5m
2 horas para completar

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 minutos), 2 readings
6 videos
Computational Boolean Algebra: Boolean Difference15m
Computational Boolean Algebra: Quantification Operators13m
Computational Boolean Algebra: Application to Logic Network Repair16m
Computational Boolean Algebra: Recursive Tautology9m
Computational Boolean Algebra: Recursive Tautology—URP Implementation20m
2 lecturas
Week 1 Overview10m
Week 1 Assignments10m
Semana
2
7 horas para completar

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 minutos), 2 readings, 2 quizzes
7 videos
BDD Basics, Part 216m
BDD Sharing17m
BDD Ordering28m
Satisfiability (SAT), Part 113m
Boolean Constraint Propagation (BCP) for SAT17m
Using SAT for Logic25m
2 lecturas
Week 2 Overview10m
Week 2 Assignments10m
1 ejercicio de práctica
Problem Set #11h
Semana
3
3 horas para completar

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 minutos), 2 readings, 1 quiz
8 videos
2-Level Logic: The Reduce-Expand-Irredundant Optimization Loop13m
2-Level Logic: Details for One Step: Expand20m
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
2 lecturas
Week 3 Overview10m
Week 3 Assignments10m
1 ejercicio de práctica
Problem Set #21h
Semana
4
7 horas para completar

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 minutos), 2 readings, 3 quizzes
8 videos
Mulitlevel Logic and Divisor Extraction—Multiple Cube Case20m
Multilevel Logic and Divisor Extraction—Finding Prime Rectangles & Summary10m
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
2 lecturas
Week 4 Overview10m
Week 4 Assignments10m
2 ejercicios de práctica
Problem Set #31h
Auxiliary Quiz of Serious BDDs15m
4.8
21 revisionesChevron Right

14%

comenzó una nueva carrera después de completar estos cursos

14%

consiguió un beneficio tangible en su carrera profesional gracias a este curso

Principales revisiones sobre VLSI CAD Part I: Logic

por 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.

por 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.

Instructor

Avatar

Rob A. Rutenbar

Adjunct Professor
Department of Computer Science

Acerca de Universidad de Illinois en 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. ...

Preguntas Frecuentes

  • Una vez que te inscribes para obtener un Certificado, tendrás acceso a todos los videos, cuestionarios y tareas de programación (si corresponde). Las tareas calificadas por compañeros solo pueden enviarse y revisarse una vez que haya comenzado tu sesión. Si eliges explorar el curso sin comprarlo, es posible que no puedas acceder a determinadas tareas.

  • Cuando compras un Certificado, obtienes acceso a todos los materiales del curso, incluidas las tareas calificadas. Una vez que completes el curso, se añadirá tu Certificado electrónico a la página Logros. Desde allí, puedes imprimir tu Certificado o añadirlo a tu perfil de LinkedIn. Si solo quieres leer y visualizar el contenido del curso, puedes participar del curso como oyente sin costo.

¿Tienes más preguntas? Visita el Centro de Ayuda al Alumno.