Diseño procedimental y concurrente en Verilog: Creación de un semáforo