Maquina Expendedora

Práctica I Modelado y simulación de una máquina expendedora de refrescos

Departamento de Ingeniería Electrónica de Sistemas Informáticos y Automática

2

1.1. Objetivos.
En esta prácticavamos a modelar el comportamiento de un sistema descrito desde el nivel de transferencia de registros, a través de su diagrama ASM.

1.2. Ejemplo.
En primer lugar vamos a realizar un ejemplo delproceso completo. Este ejemplo será el sistema de control de una máquina expendedora de refrescos. Dicha áquina contará con las siguientes características: • Únicamente dispone de un tipo de refresco, conun precio total de 32 unidades. • Puede admitir monedas por un valor mínimo de 1 unidad, a través del puerto moneda. • Las monedas son detectadas cuando se produce un cambio en una señal, denominadamoneda_ins. • Tiene la capacidad de devolver cambio, con un valor máximo de almacenamiento de 256 unidades. • Dispone de un señal, denominada botón, para solicitar la expulsión del refresco y ladevolución del cambio. • Solamente se expulsará el refresco y devolverá el cambio (cuando la señal refresco tome el valor ‘1’, y se devolverá la cantidad almacenada en vuelta), cuando se halla introducidouna cantidad superior o igual al precio del refresco. • Se tratará de un sistema síncrono, por lo que existirá una señal de reloj llamada clk. El diagrama ASM corresopndiente a dicho sistema se muestraen la figura 1.1. En ella podemos apreciar tres bloques ASM (que se ejecutarán en ciclos de reloj diferentes) con las tres operaciones básicas que debe realizar el sistema: • Almacenar la cantidad •Obtener el valor de la vuelta • En función de dicha vuelta, expulsar el refresco. Para incluir este diagrama en el software de XILINX, hay que seguir los pasos comentados en las prácticas iniciales,es decir • Crear un nuevo proyecto • Añadir una nueva fuente, la cual tendrá los siguientes puertos: • Puerto de entrada clk • Puerto de entrada botón • Puerto de entrada moneda_ins • Bus de entrada...