data/full_repos/permissive/455874613/Projects/Module04/LampState.v
data/verilator_xmls/9c91be42-6b0d-4ca0-a251-a5cd69d2c055.xml
module LampState(
		input  [ 3:0] active_lights ,
		output [15:0] lights_state
    );
	 
	assign
		lights_state[0] = (active_lights[0] | active_lights[1]) | (active_lights[2] | active_lights[3]),
		lights_state[1] = active_lights[1] | (active_lights[2] | active_lights[3]),
		lights_state[2] = (active_lights[0] & active_lights[1]) | (active_lights[2] | active_lights[3]),
		lights_state[3] = active_lights[2] | active_lights[3],
		lights_state[4] = active_lights[3] | (active_lights[2] & active_lights[1]) | (active_lights[2] & active_lights[0]),
		lights_state[5] = active_lights[3] | (active_lights[2] & active_lights[1]),
		lights_state[6] = active_lights[3] | ((active_lights[2] & active_lights[1]) & active_lights[0]),
		lights_state[7] = active_lights[3],
		lights_state[8] = active_lights[3] & ((active_lights[2] | active_lights[1]) | active_lights[0]),
		lights_state[9] = active_lights[3] & (active_lights[2] | active_lights[1]),
		lights_state[10] = active_lights[3] & (active_lights[2] | (active_lights[1] & active_lights[0])),
		lights_state[11] = active_lights[3] & active_lights[2],
		lights_state[12] = (active_lights[3] & active_lights[2]) & (active_lights[1] | active_lights[0]),
		lights_state[13] = (active_lights[3] & active_lights[2]) & active_lights[1],
		lights_state[14] = (active_lights[3] & active_lights[2]) & (active_lights[1] & active_lights[0]),
		lights_state[15] = 1'b0;

endmodule
module LampState(
		input  [ 3:0] active_lights ,
		output [15:0] lights_state
    );

	 
	assign
		lights_state[0] = (active_lights[0] | active_lights[1]) | (active_lights[2] | active_lights[3]),
		lights_state[1] = active_lights[1] | (active_lights[2] | active_lights[3]),
		lights_state[2] = (active_lights[0] & active_lights[1]) | (active_lights[2] | active_lights[3]),
		lights_state[3] = active_lights[2] | active_lights[3],
		lights_state[4] = active_lights[3] | (active_lights[2] & active_lights[1]) | (active_lights[2] & active_lights[0]),
		lights_state[5] = active_lights[3] | (active_lights[2] & active_lights[1]),
		lights_state[6] = active_lights[3] | ((active_lights[2] & active_lights[1]) & active_lights[0]),
		lights_state[7] = active_lights[3],
		lights_state[8] = active_lights[3] & ((active_lights[2] | active_lights[1]) | active_lights[0]),
		lights_state[9] = active_lights[3] & (active_lights[2] | active_lights[1]),
		lights_state[10] = active_lights[3] & (active_lights[2] | (active_lights[1] & active_lights[0])),
		lights_state[11] = active_lights[3] & active_lights[2],
		lights_state[12] = (active_lights[3] & active_lights[2]) & (active_lights[1] | active_lights[0]),
		lights_state[13] = (active_lights[3] & active_lights[2]) & active_lights[1],
		lights_state[14] = (active_lights[3] & active_lights[2]) & (active_lights[1] & active_lights[0]),
		lights_state[15] = 1'b0;

endmodule