data/full_repos/permissive/441359809/src/yosys/tests/memories/issue00710.v
data/verilator_xmls/3018433a-6334-485d-b7f4-038afe903951.xml
module top(input clk, input we, re, reset, input [7:0] addr, wdata, output reg [7:0] rdata);

reg [7:0] bram[0:255];
(* keep *) reg dummy;

always @(posedge clk)
	if (reset)
		dummy <= 1'b0;
	else if (re)
		rdata <= bram[addr];
	else if (we)
		bram[addr] <= wdata;
endmodule
module top(input clk, input we, re, reset, input [7:0] addr, wdata, output reg [7:0] rdata);


reg [7:0] bram[0:255];
(* keep *) reg dummy;

always @(posedge clk)
	if (reset)
		dummy <= 1'b0;
	else if (re)
		rdata <= bram[addr];
	else if (we)
		bram[addr] <= wdata;
endmodule