data/full_repos/permissive/438129974/gameserver/debounce.v
data/verilator_xmls/1c54e3c7-a562-42c7-91be-0727451e7a17.xml
module debounce(pb_debounced, pb, clk);
	output pb_debounced;
	input pb;
	input clk;

	reg [3:0] DFF;

	always @(posedge clk)begin
		DFF[3:1] <= DFF[2:0];
		DFF[0] <= pb;
	end
	assign pb_debounced = ((DFF == 4'b1111) ? 1'b1 : 1'b0);
endmodule
module debounce(pb_debounced, pb, clk);

	output pb_debounced;
	input pb;
	input clk;

	reg [3:0] DFF;

	always @(posedge clk)begin
		DFF[3:1] <= DFF[2:0];
		DFF[0] <= pb;
	end
	assign pb_debounced = ((DFF == 4'b1111) ? 1'b1 : 1'b0);
endmodule