Usuari:Mcapdevila/Màquina d'estats algorísmica
 | Aquest article tenia importants deficiències de traducció i ha estat traslladat a l'espai d'usuari. Podeu millorar-lo i traslladar-lo altra vegada a l'espai principal quan s'hagin resolt aquestes mancances. Col·laboreu-hi! |
La Màquina d'estats algorísmica (ASM) és un mètode per al disseny de màquina d'estats finits. S'utilitza per representar els diagrames de circuits integrals digitals. El diagrama d'ASM és com un diagrama d'estat, però menys formal i per tant més fàcil d'entendre. Un gràfic d'ASM és un mètode per descriure les operacions per ordre d'un sistema digital.
El mètode ASM
[modifica]El mètode d'ASM es compon dels següents passos:
- Crear un algorisme, utilitzant pseudocodi, per descriure l'operació desitjada del dispositiu.
- Convertir el pseudocodi en un diagrama ASM.
- Disseny del camí de dades basat en el diagrama ASM.
- Crear un diagrama ASM detallat basat en el camí de dades.
- Disseny de la lògica de control basada en el diagrama ASM detallat.
Diagrama ASM
[modifica]
Un diagrama ASM es compon d'una interconnexió dels tres tipus d'elements bàsics: els estats, els controls condició, i sortides condicionals. Un estat d'ASM, representada com un rectangle, correspon a un estat d'un diagrama d'estat regular o màquina d'estats finits. El nom de l'estat s'indica fora de la caixa en la cantonada superior esquerra. La Màquina de Moore tipus de productes s'enumeren dins de la caixa.
Una condició de verificació d'ASM, indicat per un diamant amb una entrada i dues sortides (de vertader i fals), es fa servir per a la transferència condicional entre dos estats o entre un Estat i una sortida condicional. El quadre de decisió conté l'expressió condició establerta per a la prova, l'expressió conté una o més entrades dels EFM.
Quadre de decisió: Un diamant indica que l'expressió condició establerta és de proves, i la ruta de sortida és a escollir en conseqüència. L'expressió de condició conté una o més entrades als Estats Federats de Micronèsia.
Caixa de sortida condicional: un oval indica els senyals de sortida que són del tipus de Mealy. Aquests resultats depenen no només de l'estat sinó també les aportacions al FSM.
Camí de les dades
[modifica]Una vegada que l'operació desitjada d'un circuit ha estat descrita utilitzant operacions de nivell de transferència de registres (RTL), els components del camí de dades poden ser derivades. Cada variable única que se li assigna un valor al programa RTL pot ser implementat com un registre. Depenent de l'operació funcional a terme quan s'assigna un valor a una variable, el registre per a aquesta variable es pot implementar com un registre senzill, un registre de desplaçament, un comptador o un registre precedit d'un bloc lògic combinatori. La lògica combinatòria bloc associat a un registre que pot dur a terme un sumador, restador, multiplexor, o algun altre tipus de funció lògica combinatòria.
Diagrama ASM Detallat
[modifica]Una vegada que el camí de dades està dissenyat, el diagrama ASM es converteix en un diagrama ASM detallat. La notació del RTL és substituïda pels senyals definits en el camí de les dades.
Vegeu també
[modifica]- Organigrama
- Màquina de Mealy
- Autòmat finit
- Xarxes de Petri
- Màquina d'estats algorísmica.
- Teoria de grafs.
- Transductor d'estats finits
Bibliografia
[modifica]- Sunggu Lee: Disseny d'ordinadors: un exemple d'Advanced Digital Logic Design , Prentice-Hall, 2000, ISBN 0-13-040267-2.
- Sunggu Lee: Advanced Digital Logic Design: L'ús de VHDL, Màquines d'Estat, i la síntesi de FPGAs , Thomson 2006, ISBN 0-534-46602-8.
- Stephen Brown, Zvonko Vranesic: Fonaments de Digital Logic amb VHDL Disseny .
- 2a, McGraw Hill, 2004, ISBN 978-0-07-249938-4.
- 3a, McGraw Hill, 2009, ISBN 978-0-07-352953-0.
Enllaços externs
[modifica]- Antecedents de la notació de la màquina d'estats algorísmica (ASM)
- Breu Introducció als diagrames ASM