À propos de ce cours
4.7
106 notes
20 avis

100 % en ligne

Commencez dès maintenant et apprenez aux horaires qui vous conviennent.

Dates limites flexibles

Réinitialisez les dates limites selon votre disponibilité.

Niveau intermédiaire

Approx. 28 heures pour terminer

Anglais

Sous-titres : Anglais

Compétences que vous acquerrez

Logic GateComputer-Aided Design (CAD)Digital DesignBoolean Algebra

100 % en ligne

Commencez dès maintenant et apprenez aux horaires qui vous conviennent.

Dates limites flexibles

Réinitialisez les dates limites selon votre disponibilité.

Niveau intermédiaire

Approx. 28 heures pour terminer

Anglais

Sous-titres : Anglais

Programme du cours : ce que vous apprendrez dans ce cours

Semaine
1
2 heures pour terminer

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 vidéo (Total 25 min), 2 lectures, 5 quiz
1 vidéo
2 lectures
Syllabus10 min
Tools For This Course5 min
1 exercice pour s'entraîner
Demographics Survey5 min
2 heures pour terminer

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 vidéos (Total 91 min), 2 lectures
6 vidéos
Computational Boolean Algebra: Boolean Difference15 min
Computational Boolean Algebra: Quantification Operators13 min
Computational Boolean Algebra: Application to Logic Network Repair16 min
Computational Boolean Algebra: Recursive Tautology9 min
Computational Boolean Algebra: Recursive Tautology—URP Implementation20 min
2 lectures
Week 1 Overview10 min
Week 1 Assignments10 min
Semaine
2
7 heures pour terminer

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 vidéos (Total 135 min), 2 lectures, 2 quiz
7 vidéos
BDD Basics, Part 216 min
BDD Sharing17 min
BDD Ordering28 min
Satisfiability (SAT), Part 113 min
Boolean Constraint Propagation (BCP) for SAT17 min
Using SAT for Logic25 min
2 lectures
Week 2 Overview10 min
Week 2 Assignments10 min
1 exercice pour s'entraîner
Problem Set #1s
Semaine
3
3 heures pour terminer

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 vidéos (Total 119 min), 2 lectures, 1 quiz
8 vidéos
2-Level Logic: The Reduce-Expand-Irredundant Optimization Loop13 min
2-Level Logic: Details for One Step: Expand20 min
Multilevel Logic and the Boolean Network Model13 min
Multilevel Logic: Algebraic Model for Factoring14 min
Multilevel Logic: Algebraic Division14 min
Multilevel Logic: Role of Kernels and Co-Kernels in Factoring14 min
Multilevel Logic: Finding the Kernels18 min
2 lectures
Week 3 Overview10 min
Week 3 Assignments10 min
1 exercice pour s'entraîner
Problem Set #2s
Semaine
4
7 heures pour terminer

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 vidéos (Total 123 min), 2 lectures, 3 quiz
8 vidéos
Mulitlevel Logic and Divisor Extraction—Multiple Cube Case20 min
Multilevel Logic and Divisor Extraction—Finding Prime Rectangles & Summary10 min
Multilevel Logic—Implicit Don't Cares, Part 117 min
Multilevel Logic—Implicit Don't Cares, Part 211 min
Multilevel Logic—Satisfiability Don't Cares10 min
Multilevel Logic—Controllability Don't Cares19 min
Multilevel Logic—Observability Don't Cares17 min
2 lectures
Week 4 Overview10 min
Week 4 Assignments10 min
2 exercices pour s'entraîner
Problem Set #3s
Auxiliary Quiz of Serious BDDs15 min
4.7
20 avisChevron Right

17%

a commencé une nouvelle carrière après avoir terminé ces cours

17%

a bénéficié d'un avantage concret dans sa carrière grâce à ce cours

Meilleurs avis

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

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

Enseignant

Avatar

Rob A. Rutenbar

Adjunct Professor
Department of Computer Science

À propos de Université de l'Illinois à 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. ...

Foire Aux Questions

  • Une fois que vous êtes inscrit(e) pour un Certificat, vous pouvez accéder à toutes les vidéos de cours, et à tous les quiz et exercices de programmation (le cas échéant). Vous pouvez soumettre des devoirs à examiner par vos pairs et en examiner vous-même uniquement après le début de votre session. Si vous préférez explorer le cours sans l'acheter, vous ne serez peut-être pas en mesure d'accéder à certains devoirs.

  • Lorsque vous achetez un Certificat, vous bénéficiez d'un accès à tout le contenu du cours, y compris les devoirs notés. Lorsque vous avez terminé et réussi le cours, votre Certificat électronique est ajouté à votre page Accomplissements. À partir de cette page, vous pouvez imprimer votre Certificat ou l'ajouter à votre profil LinkedIn. Si vous souhaitez seulement lire et visualiser le contenu du cours, vous pouvez accéder gratuitement au cours en tant qu'auditeur libre.

D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.