Questão 1: Especificação de Alto Nível e Modelagem. 2,5 pontos.
Um módulo comparador de dígitos de base 4 compara dois dígitos de base 4 e produz uma saída com valores G (greater, maior), E (equal, igual), S (smaller, menor). Escreva:
Especificação ode alto nível (espressões matemáticas para entradas, saída e função);
Descrição da função em forma de tabela;
Codificação dos valores;
Expressões lógicas;
Tabela-verdade.
Passo 1
O enunciado pede um módulo comparador de dígitos em base 4 que, dadas duas entradas x e y em \{0,1,2,3\}, produza três sinais de saída G, E e S, indicativos de “greater”, “equal” e “smaller”. O conteúdo é especificação formal de função discreta e lógica combinacional, e iremos precisar de definição de domínio e contradomínio, tabela de valores, codificação binária, expressões lógicas e tabela-verdade.
A especificação, a tabela de f, a codificação binária, as expressões lógicas para G, E e S e a tabela-verdade completa foram apresentadas nos passos acima.