Resumo de Fundamentos de Arquitetura de Computadores
Fundamentos de Arquitetura de Computadores: Guia Completo
Introdução
Os circuitos digitais formam a base dos sistemas eletrônicos modernos: implementam funções lógicas, somas binárias e dispositivos de memória que permitem processar informação de forma discreta. Neste material, revisaremos funções booleanas, minimização, projeto de circuitos a partir de tabelas-verdade, somadores e biestáveis (flip-flops), apresentando exemplos práticos e aplicações reais.
Definição: Uma função booleana é uma função cujo domínio e contradomínio são o conjunto binário ${0,1}$ e é expressa por meio de operações lógicas como AND ($\land$), OR ($\lor$) e NOT ($\lnot$).
1. Funções Booleanas e Tabelas-verdade
1.1. Tabela-verdade
- Uma tabela-verdade lista todas as combinações possíveis das variáveis de entrada e a saída correspondente.
- Para $n$ variáveis, há $2^n$ linhas.
Definição: Um minitermo é uma conjunção (produto) de todas as variáveis, cada uma em sua forma direta ou negada, que assume valor 1 para exatamente uma linha da tabela-verdade.
1.2. Exemplo prático: sistema de alarme
Descrição do sistema: três sensores $S_0$, $S_1$, $S_2$. Quando pelo menos dois sensores estão em 1, o alarme luminoso AL é ativado. Além disso, se $S_2=1$, o alarme sonoro AS é ativado.
Tabela-verdade (resumo das saídas relevantes):
- Entradas: $S_2$, $S_1$, $S_0$ (ordem: $S_2S_1S_0$)
- Saídas: AL, AS
Exemplo de minitermos (canônicos) a partir da tabela:
- AL é ativado quando há combinações com pelo menos dois 1: minitermos $m_3$, $m_5$, $m_6$, $m_7$.
- AS é ativado quando $S_2=1$: minitermos $m_4$, $m_5$, $m_6$, $m_7$.
Expressões canônicas (soma de produtos): $$\text{AL} = m_3 + m_5 + m_6 + m_7$$ $$\text{AS} = m_4 + m_5 + m_6 + m_7$$
1.3. Simplificação com Álgebra Booleana
- Objetivo: reduzir o número de termos e de portas.
- Técnicas: teoremas de De Morgan, absorção, idempotência, complementaridade e fatoração.
Exemplo (AS): partir da condição "AS = 1 se $S_2=1$" leva diretamente à simplificação $$\text{AS} = S_2$$ porque todos os minitermos que ativam AS compartilham $S_2=1$.
Para AL ("pelo menos dois sensores em 1"), pode-se expressar como soma de produtos e, em seguida, simplificar. Uma forma compacta: $$\text{AL} = S_2S_1 + S_2S_0 + S_1S_0$$ Que é a expressão lógica "pelo menos duas das três entradas são 1".
Definição: Uma forma canônica é uma expressão onde todos os termos contêm todas as variáveis; uma forma não canônica pode não listar todas as variáveis em cada termo.
2. Projeto de circuitos a partir da função booleana
2.1. Da expressão ao circuito
Passos:
- Obter a tabela verdade.
- Escrever a expressão em soma de produtos (ou produto de somas).
- Minimizar a expressão com álgebra booleana ou mapas de Karnaugh.
- Desenhar o circuito com as portas lógicas básicas (AND, OR, NOT).
Exemplo: circuito para AS
- Expressão simplificada: $\text{AS}=S_2$.
- Circuito: conectar $S_2$ diretamente à saída AS ou, se necessário, passar por um buffer.
Exemplo: circuito para AL com a expressão $\text{AL}=S_2S_1 + S_2S_0 + S_1S_0$:
- Implementação com portas lógicas: três portas AND de duas entradas cujas saídas alimentam uma porta OR de três entradas.
Tabela comparativa: implementações diretas vs. minimizadas
| Aspecto | Implementação canônica | Implementação minimizada |
|---|---|---|
| Número de portas lógicas | mais | menos |
| Número de entradas nas portas lógicas | todas as variáveis por termo | termos com menos variáveis |
| Facilidade de modificação | clara | eficiente |
Curiosidade: Você sabia que os primeiros computadores digitais usavam relés e válvulas (tubos de vácuo) para implementar portas lógicas antes da invenção do transistor?
3. Operações Aritméticas: Semissumador e Somador Completo
3.1. Semissumador (Half Adder)
- Função: somar dois bits $a$ e $b$ sem considerar um vai-um anterior.
- Entradas: $a$, $b$; Saídas: soma $S_0$, vai-um $C_0$.
Expressões: $$S_0 = a \oplus b$$ $$C_0 = a b$$
Implementação: uma porta XOR para a soma e uma porta AND para o
Zaregistruj se pro celé shrnutíJá tem uma conta? Entrar
Circuitos digitais básicos
Klíčové pojmy: Una tabla de verdad para $n$ variables tiene $2^n$ filas, Minitérmino: conjunción que es 1 en una sola fila, Simplificar reduce puertas: usar De Morgan, absorción y Karnaugh, AS del ejemplo se simplifica a $S_2$, AL (al menos dos 1) = $S_2S_1 + S_2S_0 + S_1S_0$, Semisumador: $S=a\oplus b$, $C=ab$, Sumador completo: $S=a\oplus b\oplus C_{in}$, $C_{out}=ab+aC_{in}+bC_{in}$, Flip-flop D copia $D$ a $Q$ en el flanco de reloj, JK evita indeterminación: J=K=1 invierte $Q$, Diseño de circuito: tabla -> expresión -> minimizar -> implementar