Ciencias de la Computaci$$n Proporcione la soluci$$n completa paso a paso con todo el c$$digo que necesito para realizar la implementaci$$n estructural en Verilog de esta m$$quina$.$ Utilice los esquemas adjuntos, las variables de estado establecidas y todo lo que se proporciona en las im$$genes para programarlo, proporcione todo el c$$digo$,$ as$$ como un banco de pruebas, separe cada m$$dulo en un archivo. $$Explica todo 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?