Ciencias de la Computaci$$n Por favor proporcione la soluci$$n completa paso a paso Con todo el c$$digo que necesito para hacer esta m$$quina de estados en veriolg, por favor deme el c$$digo$,$ para programarla debe hacer el proceso de s$$ntesis para cada variable de estado, y tambi$$n para las salidas. haga el contador e implem$$ntelo todo en verilog, por favor. $$D$$nde est$$ la salida de un contador que se pone a $0$ si la se$$al es alta y cuenta mientras est$$ baja y alta?