Desenvolva o projeto RTL (até a etapa de desenho da FSM) do sistema de semáforos conforme descrição a seguir:
Considere as lâmpadas de dois semáforos numa intersecção de uma via principal com uma outra menos movimentada: verde1, amarelo1, vermelho1 para o semáforo da via principal e verde2, amarelo2, vermelho2 para o semáforo da via secundária. O semáforo da via principal deve ficar sempre em verde até que apareça um veículo na via secundária. A presença deste veículo é detectada por um sinal
z=1. Para garantir ausência de colisão o semáforo da via secundária deve estar em vermelho enquanto o outro estiver em verde ou amarelo. Após a detecção de um veículo na via secundária, o semáforo da via principal deve continuar em verde por mais 8 segundos e então passar para amarelo e vermelho. 0 semáforo da via secundária deve ficar verde no momento em que o outro estiver vermelho. O verde da via secundária deve durar 8 segundos. Após este tempo ele se tornará amarelo e então vermelho. Os dois amarelos devem durar 2 segundos. Assuma a existência de um relógio de período 1 ms .
Você deve seguir e mostrar todos os passos do projeto RTL até obter a FSM do bloco de controle assumindo o projeto de um sistema síncrono conforme estudado no capítulo 5 do livro.