library ieee;
use ieee.std_logic_1164.all;
use ieee.std_logic_arith.all;
use ieee.std_logic_unsigned.all;
entity parking is
port(
puerta_cerrrada: in std_logic;
puerta_abierta: in std_logic;
mando: in std_logic;
clk,reset: in std_logic;
abrir_puerta: out std_logic;
cerrar_puerta: out std_logic;
sevenseg : out std_logic_vector (6 downto 0);
anodes : out std_logic_vector (3 downto 0);
);
end parking;
architecture arq_ctrl_parking of parking is
type posibles_estados is (EstadoInicial,Cerrando,Cerrado,Abriendo,Abierto);
signal estado: posibles_estados;
begin
process (clk, reset)
begin
if (reset='1') then
estado <= EstadoInicial;
elsif (clk'event and clk='1') then
case estado is
when EstadoInicial =>
if (puerta_abierta='1') then estado <= Cerrado;
else estado <= Cerrando;
end if;
when Cerrando =>
if (puerta_cerrada='1') then estado <=Cerrado;
end if;
when Cerrado =>
if (mando='1') then estado <=Abriendo;
end if;
when Abriendo =>
if (puerta_abierta='1') then estado <=Abierto;
end if;
when Abierto =>
if (mando='1') then estado <=Cerrando;
end if;
end case;
end if;
end process;
process (estado)
begin
case estado is
when EstadoInicial => abrir_puerta<='0';
cerrar_puerta<='0';
when Cerrando => cerrar_puerta<='1';
when Cerrado => cerrar_puerta<='0';
sevenseg<="0000111";
when Abriendo => abrir_puerta<='1';
when Abierto => abrir_puerta<='0';
sevenseg<="0100011";
anodes<="1110";
end case;
end process;
end arq_ctrl_parking;
Este es el .ucf
NET "anodes<0>" LOC = "F17";
NET "anodes<1>" LOC = "H17";
NET "anodes<2>" LOC = "C18";
NET "anodes<3>" LOC = "F15";
NET "sevenseg<0>" LOC = "L18";
NET "sevenseg<1>" LOC = "F18";
NET "sevenseg<2>" LOC = "D17";
NET "sevenseg<3>" LOC = "D16";
NET "sevenseg<4>" LOC = "G14";
NET "sevenseg<5>" LOC = "J17";
NET "sevenseg<6>" LOC = "H14";
NET "mando<0>" LOC = "B18";
NET "reset<1>" LOC = "D18";
NET "puerta_cerrada<0>" LOC = "G18";
NET "puerta_abierta<1>" LOC = "H18";
