Informações sobre o curso
4.7
81 classificações
15 avaliações
100% online

100% online

Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis

Prazos flexíveis

Redefinir os prazos de acordo com sua programação.
Nível intermediário

Nível intermediário

Horas para completar

Aprox. 31 horas para completar

Sugerido: 6 hours/week...
Idiomas disponíveis

Inglês

Legendas: Inglês

Habilidades que você terá

Logic GateComputer-Aided Design (CAD)Digital DesignBoolean Algebra
100% online

100% online

Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis

Prazos flexíveis

Redefinir os prazos de acordo com sua programação.
Nível intermediário

Nível intermediário

Horas para completar

Aprox. 31 horas para completar

Sugerido: 6 hours/week...
Idiomas disponíveis

Inglês

Legendas: Inglês

Programa - O que você aprenderá com este curso

Semana
1
Horas para completar
2 horas para concluir

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....
Reading
1 vídeo (total de (Total 25 mín.) min), 2 leituras, 5 testes
Video1 vídeos
Reading2 leituras
Syllabus10min
Tools For This Course5min
Quiz1 exercício prático
Demographics Survey5min
Horas para completar
2 horas para concluir

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. ...
Reading
6 vídeos (total de (Total 91 mín.) min), 2 leituras
Video6 videos
Computational Boolean Algebra: Boolean Difference15min
Computational Boolean Algebra: Quantification Operators13min
Computational Boolean Algebra: Application to Logic Network Repair16min
Computational Boolean Algebra: Recursive Tautology9min
Computational Boolean Algebra: Recursive Tautology—URP Implementation20min
Reading2 leituras
Week 1 Overview10min
Week 1 Assignments10min
Semana
2
Horas para completar
7 horas para concluir

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....
Reading
7 vídeos (total de (Total 135 mín.) min), 2 leituras, 2 testes
Video7 videos
BDD Basics, Part 216min
BDD Sharing17min
BDD Ordering28min
Satisfiability (SAT), Part 113min
Boolean Constraint Propagation (BCP) for SAT17min
Using SAT for Logic25min
Reading2 leituras
Week 2 Overview10min
Week 2 Assignments10min
Quiz1 exercício prático
Problem Set #1min
Semana
3
Horas para completar
3 horas para concluir

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....
Reading
8 vídeos (total de (Total 119 mín.) min), 2 leituras, 1 teste
Video8 videos
2-Level Logic: The Reduce-Expand-Irredundant Optimization Loop13min
2-Level Logic: Details for One Step: Expand20min
Multilevel Logic and the Boolean Network Model13min
Multilevel Logic: Algebraic Model for Factoring14min
Multilevel Logic: Algebraic Division14min
Multilevel Logic: Role of Kernels and Co-Kernels in Factoring14min
Multilevel Logic: Finding the Kernels18min
Reading2 leituras
Week 3 Overview10min
Week 3 Assignments10min
Quiz1 exercício prático
Problem Set #2min
Semana
4
Horas para completar
7 horas para concluir

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....
Reading
8 vídeos (total de (Total 123 mín.) min), 2 leituras, 3 testes
Video8 videos
Mulitlevel Logic and Divisor Extraction—Multiple Cube Case20min
Multilevel Logic and Divisor Extraction—Finding Prime Rectangles & Summary10min
Multilevel Logic—Implicit Don't Cares, Part 117min
Multilevel Logic—Implicit Don't Cares, Part 211min
Multilevel Logic—Satisfiability Don't Cares10min
Multilevel Logic—Controllability Don't Cares19min
Multilevel Logic—Observability Don't Cares17min
Reading2 leituras
Week 4 Overview10min
Week 4 Assignments10min
Quiz2 exercícios práticos
Problem Set #3min
Auxiliary Quiz of Serious BDDs15min

Instrutores

Avatar

Rob A. Rutenbar

Adjunct Professor
Department of Computer Science

Sobre University of Illinois at 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. ...

Perguntas Frequentes – FAQ

  • Ao se inscrever para um Certificado, você terá acesso a todos os vídeos, testes e tarefas de programação (se aplicável). Tarefas avaliadas pelos colegas apenas podem ser enviadas e avaliadas após o início da sessão. Caso escolha explorar o curso sem adquiri-lo, talvez você não consiga acessar certas tarefas.

  • Quando você adquire o Certificado, ganha acesso a todo o material do curso, incluindo avaliações com nota atribuída. Após concluir o curso, seu Certificado eletrônico será adicionado à sua página de Participações e você poderá imprimi-lo ou adicioná-lo ao seu perfil no LinkedIn. Se quiser apenas ler e assistir o conteúdo do curso, você poderá frequentá-lo como ouvinte sem custo.

Mais dúvidas? Visite o Central de Ajuda ao Aprendiz.