Sistemas Lógicos (2019/2020) - Departamento de Engenharia Electrotécnica
Descrição

Descrever sistemas digitais através de expressões algébricas booleanas, tabelas de verdade e esquemáticos.
Especificação, síntese e implementação de circuitos combinatórios, módulos e aritmética binária.
Especificação, síntese e implementação de circuitos sequenciais, utilizando diagramas de estado.
Especificação estruturada e implementação de sistemas digitais de reduzida/média complexidade: decomposição em parte de dados e controlo.

Programa

(exame e 1º teste) Álgebra de Boole: Conceitos básicos; Funções lógicas E, OU, NÃO; Utilização de postulados e teoremas da Álgebra de Boole; Tabelas de verdade; Lógica positiva e negativa. Funções Booleanas: Generalidades; Formas canónicas; Simplificação de funções; Manipulação algébrica; Mapas de Karnaugh. Operações Aritméticas: Sistemas de numeração; Soma e subtracção; Complemento para 2; Complemento para 1; Tempos de propagação e “look-ahead”; Multiplicação e divisão. Funções Especiais: Comparadores, Codificadores, descodificadores e conversores de código, “Multiplexers” e “demultiplexers”.

(exame e 2º teste) Elementos de Memória Biestáveis: Biestável RS assíncrono, Biestável RS síncrono, Noção de “latch” e “flip-flop”, Biestáveis “edge-triggered” e “master-slave”, Biestáveis JK, D e T. Circuitos Sequenciais: Noção de sistema síncrono e assíncrono; Registos, Carregamento paralelo,Deslocamento, Em anel; Desenho expedito de contadores; Desenho de máquinas de estado síncronas: Diagramas de estado, Circuitos Moore e Mealy, Circuitos completa e incompletamente especificados, Eliminação de estados redundantes, Síntese de máquinas de estado síncronas. Aplicações: Memórias; RAM, ROM, PROM, EPROM, EEPROM; Dispositivos de lógica programável. Introdução a arquiteturas de transferência entre registos: decomposição em partes de controlo e de dados; introdução aos microprocessadores

Bibliografia Principal

Digital Logic Circuit Analysis & Design - Victor P. Nelson, H. Troy Nagle,
J. David Irwin, Bill D. Carroll - Prentice Hall - ISBN 0-13-463894-8

Logic and Computer Design Fundamentals - M. Morris Mand, Charles Kime -
Prentice-Hall - ISBN 0-13-182098-2

Digital Design - Principles and Practice - John F. Wakerly - Prentice-Hall -
ISBN 0-13-082599-9

**** Em português:

Circuitos Digitais e Microprocessadores - Herbert Taub - McGraw-Hill - ISBN
0-07-066595-8

Requisitos Prévios

Sem requisitos prévios.

Esforço do Aluno
  Horas por crédito 28
  Horas p/ semana Semanas Horas
Aulas práticas e laboratoriais   42.0
Aulas teóricas   42.0
Avaliação   6.0
Estudo   40.0
Projectos e trabalhos   38.0
Total de Horas 168
ECTS 6.0