Coelho, JoséCarvalho, Gracinda2024-04-192024-04-192023http://hdl.handle.net/10400.2/15963Vamos apresentar os passos necessários para projetar circuitos sequenciais, usando especificações formais. Primeiro, vamos definir a codificação de estados, que representa os possíveis valores das variáveis de estado. Depois, vamos elaborar a tabela de transição de estados, que mostra as mudanças de estado em função das entradas e saídas. Por fim, vamos sintetizar o circuito, usando portas lógicas e elementos de memória. Também vamos explicar como verificar o funcionamento dos circuitos sequenciais.Este recurso faz parte de um conjunto de Pequenos Vídeos Pedagógicos (PVP), com toda a matéria lecionada na Unidade Curricular. Os vídeos seguem o manual: G. Arroz, J. Monteiro, A. Oliveira (2020). Arquitectura de Computadores: dos Sistemas Digitais aos Microprocessadores (5ª edição). IST Press20 min., 15 seg.MPEG-4porArquitetura de computadoresSistemas digitaislearning object