data/full_repos/permissive/41342062/maquina_estados_sim.v
1: b'%Warning-STMTDLY: data/full_repos/permissive/41342062/maquina_estados_sim.v:77: Unsupported: Ignoring delay on this delayed statement.\n   #5 clk = ~clk;\n   ^\n                  ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message.\n%Warning-STMTDLY: data/full_repos/permissive/41342062/maquina_estados_sim.v:90: Unsupported: Ignoring delay on this delayed statement.\n  #10;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/41342062/maquina_estados_sim.v:93: Unsupported: Ignoring delay on this delayed statement.\n  #10;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/41342062/maquina_estados_sim.v:96: Unsupported: Ignoring delay on this delayed statement.\n  #10;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/41342062/maquina_estados_sim.v:99: Unsupported: Ignoring delay on this delayed statement.\n  #10;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/41342062/maquina_estados_sim.v:102: Unsupported: Ignoring delay on this delayed statement.\n  #10;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/41342062/maquina_estados_sim.v:107: Unsupported: Ignoring delay on this delayed statement.\n  #10;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/41342062/maquina_estados_sim.v:110: Unsupported: Ignoring delay on this delayed statement.\n  #10;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/41342062/maquina_estados_sim.v:113: Unsupported: Ignoring delay on this delayed statement.\n  #10;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/41342062/maquina_estados_sim.v:116: Unsupported: Ignoring delay on this delayed statement.\n  #10;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/41342062/maquina_estados_sim.v:120: Unsupported: Ignoring delay on this delayed statement.\n  #10;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/41342062/maquina_estados_sim.v:125: Unsupported: Ignoring delay on this delayed statement.\n  #10;\n  ^\n%Error: data/full_repos/permissive/41342062/maquina_estados_sim.v:52: Cannot find file containing module: \'MaquinaEstados\'\n MaquinaEstados uut (\n ^~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/41342062,data/full_repos/permissive/41342062/MaquinaEstados\n             data/full_repos/permissive/41342062,data/full_repos/permissive/41342062/MaquinaEstados.v\n             data/full_repos/permissive/41342062,data/full_repos/permissive/41342062/MaquinaEstados.sv\n             MaquinaEstados\n             MaquinaEstados.v\n             MaquinaEstados.sv\n             obj_dir/MaquinaEstados\n             obj_dir/MaquinaEstados.v\n             obj_dir/MaquinaEstados.sv\n%Error: Exiting due to 1 error(s), 12 warning(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module maquina_estados_sim;


	reg clk;
	reg reset;
	reg [1:0] accion;
	reg sensor_puerta;
	reg sensor_sobrepeso;
	reg t_expired;


	wire [3:0] state;
	wire restart_timer;
	wire start_timer;
	wire habilita_verificador;
	wire inicia_Registro_Solicitudes;
	wire subiendo_LED;
	wire bajando_LED;
	wire freno_act_LED;
	wire motor_act_LED;
	wire puerta_abierta_LED;
	wire puerta_cerrada_LED;
	wire sensor_puerta_LED;
	wire sensor_sobrepeso_LED;
	wire ready;


	MaquinaEstados uut (
		.clk(clk), 
		.reset(reset), 
		.state(state), 
		.accion(accion), 
		.sensor_puerta(sensor_puerta), 
		.sensor_sobrepeso(sensor_sobrepeso), 
		.t_expired(t_expired), 
		.restart_timer(restart_timer), 
		.start_timer(start_timer), 
		.habilita_verificador(habilita_verificador), 
		.inicia_Registro_Solicitudes(inicia_Registro_Solicitudes), 
		.subiendo_LED(subiendo_LED), 
		.bajando_LED(bajando_LED), 
		.freno_act_LED(freno_act_LED), 
		.motor_act_LED(motor_act_LED), 
		.puerta_abierta_LED(puerta_abierta_LED), 
		.puerta_cerrada_LED(puerta_cerrada_LED), 
		.sensor_puerta_LED(sensor_puerta_LED), 
		.sensor_sobrepeso_LED(sensor_sobrepeso_LED), 
		.ready(ready)
	);
	
	always 
		begin
			#5 clk = ~clk;
		end
		
	initial begin

		reset = 1;
		clk = 1;
		accion = 0;
		sensor_puerta = 0;
		sensor_sobrepeso = 0;
		t_expired = 0;


		#10;
		reset = 0;
		
		#10;
		accion = 2'b10;
		
		#10;
		accion = 2'b10;
		
		#10;
		accion = 2'b01;
		
		#10;
		accion = 2'b00;
		

		
		#10;
		accion = 2'b00;
		
		#10;
		accion = 2'b10;
		
		#10;
		accion = 2'b01;
		
		#10;
		accion = 2'b11;
		sensor_puerta = 1'b1;
		
		#10;
		accion = 2'b11;
		sensor_puerta = 1'b0;
		sensor_sobrepeso = 1'b1;
		
		#10;
		accion = 2'b11;
		sensor_sobrepeso = 1'b0;
		t_expired = 1'b1;
		

	end
      
endmodule
module maquina_estados_sim;



	reg clk;
	reg reset;
	reg [1:0] accion;
	reg sensor_puerta;
	reg sensor_sobrepeso;
	reg t_expired;


	wire [3:0] state;
	wire restart_timer;
	wire start_timer;
	wire habilita_verificador;
	wire inicia_Registro_Solicitudes;
	wire subiendo_LED;
	wire bajando_LED;
	wire freno_act_LED;
	wire motor_act_LED;
	wire puerta_abierta_LED;
	wire puerta_cerrada_LED;
	wire sensor_puerta_LED;
	wire sensor_sobrepeso_LED;
	wire ready;


	MaquinaEstados uut (
		.clk(clk), 
		.reset(reset), 
		.state(state), 
		.accion(accion), 
		.sensor_puerta(sensor_puerta), 
		.sensor_sobrepeso(sensor_sobrepeso), 
		.t_expired(t_expired), 
		.restart_timer(restart_timer), 
		.start_timer(start_timer), 
		.habilita_verificador(habilita_verificador), 
		.inicia_Registro_Solicitudes(inicia_Registro_Solicitudes), 
		.subiendo_LED(subiendo_LED), 
		.bajando_LED(bajando_LED), 
		.freno_act_LED(freno_act_LED), 
		.motor_act_LED(motor_act_LED), 
		.puerta_abierta_LED(puerta_abierta_LED), 
		.puerta_cerrada_LED(puerta_cerrada_LED), 
		.sensor_puerta_LED(sensor_puerta_LED), 
		.sensor_sobrepeso_LED(sensor_sobrepeso_LED), 
		.ready(ready)
	);
	
	always 
		begin
			#5 clk = ~clk;
		end
		
	initial begin

		reset = 1;
		clk = 1;
		accion = 0;
		sensor_puerta = 0;
		sensor_sobrepeso = 0;
		t_expired = 0;


		#10;
		reset = 0;
		
		#10;
		accion = 2'b10;
		
		#10;
		accion = 2'b10;
		
		#10;
		accion = 2'b01;
		
		#10;
		accion = 2'b00;
		

		
		#10;
		accion = 2'b00;
		
		#10;
		accion = 2'b10;
		
		#10;
		accion = 2'b01;
		
		#10;
		accion = 2'b11;
		sensor_puerta = 1'b1;
		
		#10;
		accion = 2'b11;
		sensor_puerta = 1'b0;
		sensor_sobrepeso = 1'b1;
		
		#10;
		accion = 2'b11;
		sensor_sobrepeso = 1'b0;
		t_expired = 1'b1;
		

	end
      
endmodule