À propos de ce cours

32,963 consultations récentes

Résultats de carrière des étudiants

14%

ont commencé une nouvelle carrière après avoir terminé ce cours

14%

ont bénéficié d'un avantage concret dans leur carrières grâce à ce cours

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. 23 heures pour terminer

Anglais

Sous-titres : Anglais

Compétences que vous acquerrez

Logic GateComputer-Aided Design (CAD)Digital DesignBoolean Algebra

Résultats de carrière des étudiants

14%

ont commencé une nouvelle carrière après avoir terminé ce cours

14%

ont bénéficié d'un avantage concret dans leur carrières grâce à ce cours

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. 23 heures pour terminer

Anglais

Sous-titres : Anglais

Programme du cours : ce que vous apprendrez dans ce cours

Semaine
1

Semaine 1

2 heures pour terminer

Orientation

2 heures pour terminer
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

2 heures pour terminer
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

Semaine 2

7 heures pour terminer

Boolean Representation via BDDs and SAT

7 heures pour terminer
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 #11 h
Semaine
3

Semaine 3

3 heures pour terminer

2-Level Logic Synthesis, and Multi-Level Logic Synthesis via the Algebraic Model

3 heures pour terminer
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 #21 h
Semaine
4

Semaine 4

7 heures pour terminer

Multilevel Factor Extract and Don't Cares

7 heures pour terminer
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 #31 h
Auxiliary Quiz of Serious BDDs15 min
4.8
27 avisChevron Right

Meilleurs avis pour VLSI CAD Part I: Logic

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.

Offert par

Logo Université de l'Illinois à Urbana-Champaign

Université de l'Illinois à Urbana-Champaign

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.