Traffic light controller written in VHDL