data/full_repos/permissive/21108957/src/button_sync.v
data/verilator_xmls/98d19ce8-346f-4cec-a141-e914a854db57.xml
module button_sync (
	input clk,
	input [3:0] key,
	output button_down,
	output reg [3:0] pressed
);

	reg [3:0] key1; 
	
	assign button_down = |pressed;
	
	always @(posedge clk) begin
		pressed <= key1;
		key1 <= key;
	end
endmodule
module button_sync (
	input clk,
	input [3:0] key,
	output button_down,
	output reg [3:0] pressed
);


	reg [3:0] key1; 
	
	assign button_down = |pressed;
	
	always @(posedge clk) begin
		pressed <= key1;
		key1 <= key;
	end
endmodule