The state diagram of a traffic light controller is verified by implementing on the FPGA ALTERA DE2-115 board Post time: Jan-23-2017