Máquina de estados simulando uma máquina de refrigerante, desenvolvida para disciplina de Infraestrutura de Hardware, do curso de Bach. em Sistemas de Informação da UFRPE.
A plataforma utilizada para sintetizar foi a Terasic Altera DE2-70, cujo FPGA é o Cyclone II.