data/full_repos/permissive/486812922/src/im.v
data/verilator_xmls/0619dade-d135-4bd0-a309-b89c4778bad0.xml
module im_4k(addr, dout);

input [11: 2] addr;

output [31: 0] dout;
reg [31: 0] im[1023: 0];
integer i;


initial begin
    for (i = 0; i < 1024; i = i + 1) begin
        im[i] = 32'h00000000;
    end


    $readmemh("test.txt", im);
end


assign dout = im[addr];
endmodule
module im_4k(addr, dout);


input [11: 2] addr;

output [31: 0] dout;
reg [31: 0] im[1023: 0];
integer i;


initial begin
    for (i = 0; i < 1024; i = i + 1) begin
        im[i] = 32'h00000000;
    end


    $readmemh("test.txt", im);
end


assign dout = im[addr];
endmodule