UTFPR – Prof. Carlos Raimundo Erig Lima

Circuitos compostos por lógica seqüencial e por lógica com binacional.

Baseados em flip-flops sincronizados pela borda por um único sinal de clock.

Lógica de controle(próximo estado)

Memóriade

Estados(Flip-Flops)

Lógica de saída

entradas

saídas

clock

Estadoatual

As saídas são uma função das entradas e do estado atual

Lógica de controle(próximo estado)

Memóriade

Estados(Flip-Flops)

Lógica de saída

entradassaídas

clock

Estadoatual

As saídas são uma função do estado atual apenas

Projetar uma máquina de estados para acionar um motor de passo de duas fases. Inicialmente é necessário apenas um bit de controle de sentido da corrente para cada fase, as saídas S1 e S2 As entradas são Q1, Q2 (estados atuais), Sentido (horário) e Enable (permite a mudança de estado). A seguinte tabela pode ser montada:

A máquina é do tipo Moore pois as saídas dependem apenas doestado atual, ou seja, o que aconteceu no período de clock anterior.

Sentido - Enable

00 01 10 11 S1-S2

Estado AtualQ1-Q2

S0 S0 S3 S0 S1 11

S1 S1 S0 S1 S2 10

S2 S2 S1 S2 S3 00

S3 S3 S2 S3 S0 01

Próximo estado

S0

S1

S2

S3 S=1

S0

S1

S2

S3 S=0

É possível propor uma codificação para os estados:

S0 = 00S1 = 01S2 = 11S3 = 10

A tabela fica:

Sentido - Enable

00 01 10 11 S1-S2

Estado AtualQ1-Q2

00 00 10 00 01 11

01 01 00 01 11 10

11 11 01 11 10 00

10 10 11 10 00 01

00

01

11

10 S=1

00

01

11

10 S=0

Criando as funções por mapas de Karnaught:

Sentido – Enable (S-E)

00 01 11 10

Estado AtualQ1-Q2

00 0 1 0 0

01 0 0 1 0

11 1 0 1 1

10 1 1 0 1

SQQESQESQSQQEQD .2.1...2..2.2.1.11

Criando as funções por mapas de Karnaught:

Sentido - Enable

00 01 11 10

Estado AtualQ1-Q2

00 0 0 1 0

01 1 0 1 1

11 1 1 0 1

10 0 1 0 0

SQQESQESQSQQEQD 21..1..1.2.122

A saída S1 e S2 por sua vez só dependem dos estados atuais Q1 e Q2:

22

11

QS

QS

S1-S2

Estado AtualQ1-Q2

00 11

01 10

11 00

10 01

1 -Cria-se um novo arquivo do tipo state machine file (*.smf)

2- Usar o ícone Wizard

A tabela deve ser preenchida

Criar um novo *.bdf

Inserir o componente da

máquina de estados criada