data/full_repos/permissive/409977083/refresh_counter.v
data/verilator_xmls/b1f013b9-e07a-4953-9551-1fa8782664f7.xml
module refresh_counter(
input refresh_clock,
output reg [2:0] refreshcounter = 0
);

always@(posedge refresh_clock) refreshcounter <= refreshcounter + 1;

endmodule
module refresh_counter(
input refresh_clock,
output reg [2:0] refreshcounter = 0
);


always@(posedge refresh_clock) refreshcounter <= refreshcounter + 1;

endmodule