A continuación se modela un semáforo en Verilog, mediante una máquina de estados.