Design and analyze combinational and sequential logic circuits for digital systems.
Write a Verilog module for a traffic light controller FSM and simulate its testbench.