data/full_repos/permissive/194450802/ps2_adapter/oneshot.v
data/verilator_xmls/d944c1a9-1b6e-4b72-a470-2fd34a9ed22c.xml
module oneshot(output reg pulse_out, input trigger_in, input clk);
reg delay;

always @ (posedge clk)
begin
	if (trigger_in && !delay) pulse_out <= 1'b1;
	else pulse_out <= 1'b0;
	delay <= trigger_in;
end 
endmodule
module oneshot(output reg pulse_out, input trigger_in, input clk);

reg delay;

always @ (posedge clk)
begin
	if (trigger_in && !delay) pulse_out <= 1'b1;
	else pulse_out <= 1'b0;
	delay <= trigger_in;
end 
endmodule