Disciplina Eletiva >>
MIC64  CAD para Síntese Lógica
Objetivos: Propiciar ao aluno noções básicas de funções Booleanas, incluindo manipulação de funções Booleanas para síntese de circuitos digitais. Enfase será dada ns propriedades de funções Booleanas, representação de funções Booleanas, implementação em hardware.

Créditos: 2
  • Súmula
    1. Aula 1: Funções Booleanas: completamente especificadas, incompletamente especificadas, cofatores, don't cares, SPFDs.
      Aula 2: Propriedades de funções Booleanas: polaridade, simetria, read-once functions, read-polarity-once functions.
      Aula 3: Classes de equivalência de funções Booleanas: P, NPN, NP, PN, Ni, No.
      Aula 4: Representação de funções com Diagramas de decisão binários: BDDs, ROBDDs, freeBDDs.
      Aula 5: Representação de funções com inteiros: tabelas verdade.
      Aula 6: Representação de funções com lista de cubos.
      Aula 7: Representação de funções com AIGs. Cortes K, Reescrita de AIGs.
      Aula 8: Somas de produtos, produtos de somas, quine-McCluskey, espresso.
      Aula 9: Fatoração multinivel.
      Aula 10: Decomposição funcional.
      Aula 11: Composição funcional.
      Aula 12: Bibliotecas de células e mapeamento tecnológico.
      Aula 13: Redes de chaves e funções Booleanas.
      Aula 14: Funções Booleanas e circuitos aritméticos.
      Aula 15: Aplicação de funções Booleanas em Criptografia.
  • Bibliografia
    • Cada aula terá um jogo de transparências com bibliografia específica comentada.