M ás conocidas por su acrónimo en inglés FSM (Finite State Machine), se utilizan ampliamente en el diseño de circuitos digitales (además de en otros ámbitos de la ingeniería, como la programación), para describir el comportamiento de un sistema según el valor de sus entradas y de cómo van cambiando en el tiempo. Ésta es una definición parcial pero que nos permite hacernos una primera idea intuitiva. Desde el punto de vista de las FSM, un sistema está compuesto de estados por los que va pasando el sistema, de señales de entrada que modifican esos estados y de señales de salida que pueden utilizarse para conocer el estado del sistema y actuar en consecuencia. Para representar una máquina de estados se utilizan diagramas de estados como el siguiente. Para poder llevarla a una FPGA, la máquina que vamos a implementar es la mostrada en el siguiente diagrama de estados. Tenemos cuatro señales de salida, la señal Y0 se activa cuando el sistema está en ...