ASM (Algorithmic State Machine) Chart

uma representao mais adequada (para MdEs de alto

nvel ou que apresentem um grande nmero de entradas e
sadas) do que diagramas e tabelas de estado.
Permite descrever bem projetos RTL
Um ASM Chart descreve o sistema funcionalmente sem fazer
distino entre o controle e o caminho dos dados.
No entanto, to logo se tenha um ASM Chat com as funes
especificadas, pode-se refin-lo em duas parties, uma para o
fluxo ou caminho dos dados e uma outra para o controlador.

ASM (Algorithmic State Machine) Chart

Elementos grficos usados em um ASM Chart
1. Bloco de estado

2. Blocos de deciso

3. Bloco de sada condicional

ASM (Algorithmic State Machine) Chart

Bloco de Estado
Um Bloco de estado especfica um estado da MdE e um grupo de
aes que ocorrem naquele estado.
Todas as aes de um mesmo estado ocorrem em paralelo.
Sadas do tipo Moore devem ser atribudas em blocos de estado.
As aes em um bloco de estado so incondicionalmente
executadas.
Um estado pode executar tantas aes quanto necessrias,
devendo-se suprir hardware para todas elas.
Um registrador s pode receber uma atribuio por estado (regra
da designao nica)

ASM (Algorithmic State Machine) Chart

Blocos de Estado
Os Blocos de Estados so interligados por transies.
Os Estados so executados seqencialmente.
Cada estado pode executar aes independentes, inclusive
podendo fazer novas atribuies a variveis com diferentes
atribuies em estados anteriores).
Exemplo:
x
a+b
s1
y
c-d+e
SadaZ
1
Designao do estado
Aes ou atribuies de sadas (Moore) que ocorrem no estado
s1

s2
x

a+b

x
y

c+d
a+d
4

ASM (Algorithmic State Machine) Chart

Bloco de Estado
A quantidade de hardware requerido por um estado determinado
pelo quantidade de funes que ele executa
Unidades funcionais que implementam operaes com dados
podem ser reutilizadas (ou compartilhadas) por diferentes estados.
Neste caso, torna-se necessrio a presena de multiplexadores
que se responsabilizem pelo roteamento dos dados que chegam
para a unidade compartilhada.

ASM (Algorithmic State Machine) Chart

Blocos de Deciso
Indicam que uma dada condio est para ser testada ou avaliada
e que o fluxo de execuo depende deste teste.
Um bloco de deciso pode incluir vrios caminhos para o ASM
Chart.
Define que estado prximo deve ser executado em funo das
entradas ou do estado presente.
Exemplos:

a=b

x
00

01

10

11

ASM (Algorithmic State Machine) Chart

Bloco de Sada Condicional
Usado para atribuies de sinais de sada de uma MdE do tipo
Mealy.
A condio que determina se esta sada ser gerada (j que
depende de condies de entradas) devem ser especificadas em
um bloco de deciso.
Exemplo
0

i1

y=c+d

ASM (Algorithmic State Machine) Chart

Flow chart de uma MdE do tipo Moore

ASM (Algorithmic State Machine) Chart

Flow chart de uma MdE do tipo Mealy

ASM (

Algorithmic
Exemplo
Representao algortmica:
Entrada: bit x
Sada: bit z
z = 0;
While(1) {
Cnt8 = 7;
While (x = 0);
z = 1;
While (Cnt8 > 0) {
Cnt8 = cnt8 1;
}
z = 0;
While (x = 1);
}

State Machine) Chart

ASM Chart:
10