Índice SUMÁRIO Introdução ao projeto de lógica seqüencial. Modelos e Procedimentos Abstração de elementos com estado Formas de lógica seqüencial Representação de Máquinas de Estados Finitas [FSM] Prof. Corradi

Modelos e Procedimentos Modelos para representar circuitos seqüenciais 1. Máquinas de estados finitas (Moore e Mealy) 2. Representação de memórias (estados) 3. Mudanças de estados (transições) Procedimentos de projeto 1. Diagramas de estados 2. Tabelas de transições de estados 3. Funções de próximo estado Prof. Corradi

Abstração de elementos com estado Dividir o circuito em lógica combinacional e estado Localizar realimentações e tornar fácil o corte de ciclos Implementação de elementos de armazenamento leva a várias formas de lógica seqüencial Prof. Corradi

Abstração de elementos com estado Prof. Corradi

Formas de lógica seqüencial Lógica seqüencial assíncrona – mudanças de estados ocorrem sempre que as entradas dos estados mudam (os elementos podem ser simples fios ou elementos de atrasos) Lógica seqüencial síncrona – mudanças de estados ocorrem em passos por todos os elementos de armazenamento (utilizando uma onda periódica – o relógio = CLOCK) Prof. Corradi

Representação de Máquinas de estados Finitas Estados: determinado pelos valores possíveis nos elementos de armazenamento seqüenciais. Transições: mudanças de estado Relógio (Clock): controla quando o estado pode mudar ao controlar os elementos de armazenamento. Prof. Corradi

Representação de Máquina de Estado Finitas Lógica seqüencial Seqüências sobre uma série de estado Baseada em seqüências de valores nos sinais de entrada Período do relógio define elementos de seqüência Prof. Corradi

Pode qualquer Sistema seqüencial ser representado por um diagrama de estado? Registro de Deslocamento Valor de entrada representado nos arcos de transição Valores de saída representados nos nós de estado Prof. Corradi

Contadores são Máquinas Seqüenciais Finitas Simples [FSM] Procede pela seqüência bem definida de estados em resposta ao enable Muitos tipos de contadores: binários, BCD, código de Gray Contador crescente de 3 bits: 000, 001, 010, 011, 100, 101, 110, 111, 000, ............ Contador decrescente de 3 bits: 111, 110, 101, 100, 011, 010, 001, 000, 111,............. Prof. Corradi

Contadores são Máquinas Seqüenciais Finitas Simples Diagrama de Estado de um contador binário crescente Prof. Corradi

Como se torna um diagrama de estados em lógica? Contador de 3 bits crescente 3 Flip-Flops pra guardar o estado Lógica para computar o próximo estado O sinal de relógio (clock) controla quando a memória dos flip-flops pode mudar Esperar o tempo suficiente para que a lógica combinatória compute o novo valor Não esperar demasiado tempo, pois isso é baixo desempenho Prof. Corradi

Como se torna um diagrama de estados em lógica? Contador de 3 bits crescente Prof. Corradi

Procedimento de projeto par FSMs Começar pelos contadores Simples, porque a saída é apenas estado Simples, porque não é necessário selecionar o próximo estado baseado na entrada Diagrama de estados para a tabela de transição de estado Forma tabular do diagrama de estados Como uma tabela de verdade Prof. Corradi

Procedimento de projeto para FSMs Forma tabular do diagrama de estados Como uma tabela de verdade (especificar a saída para todas as possíveis entradas) Codificação de estados: fácil para contadores utilizar apenas o valor Prof. Corradi