data/full_repos/permissive/515245706/milestone1/movementCounter/movementCounter.v
data/verilator_xmls/e1321004-2511-4640-8260-4183f9128159.xml
module movementCounter(resetn, clk, enable, countOut);
	input resetn, clk, enable;
	output reg [11: 0] countOut;
	
	always @(posedge clk)
	begin
		if (resetn == 1'b0 || countOut == 12'b11111111)
			countOut <= 0;
		else if (enable == 1)
			countOut <= countOut + 1;
	end
endmodule
module movementCounter(resetn, clk, enable, countOut);

	input resetn, clk, enable;
	output reg [11: 0] countOut;
	
	always @(posedge clk)
	begin
		if (resetn == 1'b0 || countOut == 12'b11111111)
			countOut <= 0;
		else if (enable == 1)
			countOut <= countOut + 1;
	end
endmodule