mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-30 13:56:33 +00:00
Code Activity

tests/check_mem: Drop unused init check

Browse source 
It was also raising an error in `read_verilog`.
This commit is contained in:
Krystine Sherwin 2026-05-30 11:06:11 +12:00
parent 5f53410db7
commit 0360a4bd0a
No known key found for this signature in database
1 changed files with 1 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

16
tests/check_mem/sub_addr.sv
View file

@ -6,7 +6,7 @@ input [7:0] wdata;
output reg [7:0] rdata; output reg [7:0] rdata;
input [3:0] wen; input [3:0] wen;
reg [7:0] mem [0:3] = {8'h01, 8'h23, 8'h45, 8'h67}; reg [7:0] mem [0:3];
integer i; integer i;
always @(posedge clk) begin always @(posedge clk) begin
@ -15,18 +15,4 @@ always @(posedge clk) begin
rdata <= mem[addr]; rdata <= mem[addr];
end end
always @(posedge clk) begin
// not sure how to verify this one without SBY
// or alternatively, how to replicate the problematic sub addressing without the read&write
assume (wen == 0);
assert (mem[0][7:4] == 4'h0);
assert (mem[0][3:0] == 4'h1);
assert (mem[1][7:4] == 4'h2);
assert (mem[1][3:0] == 4'h3);
assert (mem[2][7:4] == 4'h4);
assert (mem[2][3:0] == 4'h5);
assert (mem[3][7:4] == 4'h6);
assert (mem[3][3:0] == 4'h7);
end
endmodule endmodule