Programa
Sistemas Digitais
Licenciatura (5 anos) em Engenharia Electrotécnica e de Computadores
Programa
Numeração binária. Bases de numeração. Álgebra de Boole. Funções lógicas: Formas de representação; Mintermos e maxtermos; Formas canónicas; Mapas de Karnaugh; Simplificação usando mapas de Karnaugh. Elementos tecnológicos básicos: Famílias lógicas; Níveis eléctricos; Portas tri-state; Tempos de propagação; Lógica positiva, negativa e de polaridade. Circuitos combinatórios básicos: Circuitos típicos - Multiplexeres, codificadores, descodificadores, comparadores, somadores. Circuitos sequenciais básicos: Latches SR e D; Flip-flops SR, JK, D e T; Flip-flops master-slave e edge-triggered; Características temporais de flip-flops; Registos simples, de deslocamento e multimodo; Contadores assíncronos e síncronos; Síntese de contadores; Expansão de contadores. Circuitos sequenciais síncronos: Modelos de Mealy e de Moore; Métodos de especificação - diagramas e tabelas de estados; Metodologia de síntese clássica; Metodologias de síntese recorrendo a contadores, a um flip-flop por estado; Análise de circuitos e características temporais. Memórias: RAMs, ROMs e PROMs. Lógica programável: PLAs, PALs; FPGAs.
Sistemas Digitais
Licenciatura (5 anos) em Ciências Informáticas
Programa
Numeração binária. Bases de numeração (revisões).Álgebra de Boole (revisões). Funções lógicas: formas de representação; mintermos e maxtermos; formas canónicas; mapas de Karnaugh; simplificação usando mapas de Karnaugh; simplificação de funções incompletamente especificadas. Elementos tecnológicos básicos: famílias lógicas; família TTL; níveis eléctricos; andares de saída em TTL; saídas totem-pole, open-collector e tri-state; tempos de propagação. Lógica positiva, negativa e de polaridade. Circuitos combinatórios básicos: circuitos típicos - multiplexeres, codificadores, descodificadores, comparadores, somadores; detecção e localização de falhas. circuitos sequenciais básicos: latches SR e D; flip-flops SR, JK, D e T; flip-flops master-slave e edge-triggered; características temporais de flip-flops; registos simples, de deslocamento e multimodo; barramentos de interligação; contadores assíncronos e síncronos; síntese de contadores; expansão de contadores. Circuitos sequenciais síncronos: modelos de Mealy e de Moore; métodos de especificação - diagramas e tabelas de estados; metodologia de síntese clássica; análise de circuitos e características temporais; detecção e localização de falhas. Memórias: Tipos - RAMs, ROMs e PROMs; estrutura interna e características temporais fundamentais; realização de funções lógicas. Lógica programável: PLAs, PALs; Sistemas de controlo: Arquitectura; Especificação usando fluxogramas; Metodologias de síntese recorrendo a contadores, a um flip-flop por estado e a memórias; sincronização de variáveis de entrada e eliminação de picos nas saídas; eliminação de estados redundantes em circuitos sequenciais completa e incompletamente especificados.
Sistemas Digitais
Licenciatura (5 anos) em Engenharia Física Tecnológica
Programa
1 - Numeração binária. Bases de numeração (revisões). 2 - Álgebra de Boole (revisões. 3 - Funções lógicas. 4 - Simplificação usando mapas de Karnaugh. 5 - Elementos tecnológicos básicos. 6 - Lógica positiva, negativa e de polaridade. 7 - Circuitos combinatórios básicos. 8 - Circuitos sequenciais básicos: Latches; Flip-flops; Registos simples, de deslocamento e multimodo; Contadores assíncronos e síncronos; Síntese de contadores; Expansão de contadores. 9 - Circuitos sequenciais síncronos: Modelos de Mealy e de Moore; Métodos de especificação - diagramas e tabelas de estados; Metodologia de síntese clássica; 10 - Memórias. 11 - Lógica programável. 12 - Sistemas de controlo: Arquitectura; Especificação usando fluxogramas; Metodologias de síntese recorrendo a contadores, e a um flip-flop por estado.