data/full_repos/permissive/148200700/Quartus/KBandDNA_sockit/oneshot.v
data/verilator_xmls/c96fa07f-0930-4150-bf56-b7a0ae693d16.xml
module oneshot (
    input clk,
    input [3:0] edge_sig,
    output [3:0] level_sig
);

reg [3:0] cur_value;
reg [3:0] last_value;

assign level_sig = ~cur_value & last_value;

always @(posedge clk) begin
    cur_value <= edge_sig;
    last_value <= cur_value;
end

endmodule
module oneshot (
    input clk,
    input [3:0] edge_sig,
    output [3:0] level_sig
);


reg [3:0] cur_value;
reg [3:0] last_value;

assign level_sig = ~cur_value & last_value;

always @(posedge clk) begin
    cur_value <= edge_sig;
    last_value <= cur_value;
end

endmodule