À propos de ce cours

30,537 consultations récentes

Résultats de carrière des étudiants

14%

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

12%

ont bénéficié d'un avantage concret dans leur carrières grâce à ce cours
Certificat partageable
Obtenez un Certificat lorsque vous terminez
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

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

12%

ont bénéficié d'un avantage concret dans leur carrières grâce à ce cours
Certificat partageable
Obtenez un Certificat lorsque vous terminez
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

Enseignant

Offert par

Placeholder

Université de l'Illinois à Urbana-Champaign

Programme du cours : ce que vous apprendrez dans ce cours

Évaluation du contenuThumbs Up94%(1,408 notes)Info
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

Avis

Meilleurs avis pour VLSI CAD PART I: LOGIC

Voir tous les avis

Foire Aux Questions

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