data/full_repos/permissive/51625123/src/deflector.v
data/verilator_xmls/e70289b2-2758-4206-bd2b-e2118b695c8b.xml
module deflector(collide, ball_y, paddle_y, deflect);
	input collide;
	input [9:0] ball_y;
	input [9:0] paddle_y;
	output reg[9:0] deflect;
	
	always @(posedge collide) begin
		deflect = ball_y - paddle_y;
		if (deflect[9]) 
			deflect[8:0] = ~deflect[8:0] + 1;
	end
endmodule
module deflector(collide, ball_y, paddle_y, deflect);

	input collide;
	input [9:0] ball_y;
	input [9:0] paddle_y;
	output reg[9:0] deflect;
	
	always @(posedge collide) begin
		deflect = ball_y - paddle_y;
		if (deflect[9]) 
			deflect[8:0] = ~deflect[8:0] + 1;
	end
endmodule