verilator/test_regress/t/t_mem_packed.v

54 lines
1.0 KiB
Coq
Raw Normal View History

2009-11-05 14:57:23 +00:00
// DESCRIPTION: Verilator: Verilog Test module
//
// This file ONLY is placed into the Public Domain, for any use,
// without warranty, 2009 by Wilson Snyder.
module t (/*AUTOARG*/
// Inputs
clk
);
input clk;
integer cyc; initial cyc = 0;
`ifdef iverilog
reg [7:0] arr [3:0];
2010-01-25 12:52:07 +00:00
wire [7:0] arr_w [3:0];
2009-11-05 14:57:23 +00:00
`else
reg [3:0] [7:0] arr;
2010-01-25 12:52:07 +00:00
wire [3:0] [7:0] arr_w;
2009-11-05 14:57:23 +00:00
`endif
reg [7:0] sum;
2010-01-25 12:52:07 +00:00
reg [7:0] sum_w;
2009-11-05 14:57:23 +00:00
integer i0;
initial begin
for (i0=0; i0<5; i0=i0+1) begin
arr[i0] = 1 << i0[1:0];
end
end
2010-01-25 12:52:07 +00:00
assign arr_w = arr;
2009-11-05 14:57:23 +00:00
always @ (posedge clk) begin
cyc <= cyc + 1;
if (cyc==0) begin
// Setup
sum <= 0;
2010-01-25 12:52:07 +00:00
sum_w <= 0;
2009-11-05 14:57:23 +00:00
end
else if (cyc >= 10 && cyc < 14) begin
sum <= sum + {4'b0,arr[cyc-10]};
2010-01-25 12:52:07 +00:00
sum_w <= sum_w + {4'b0,arr_w[cyc-10]};
2009-11-05 14:57:23 +00:00
end
else if (cyc==99) begin
$write("[%0t] cyc==%0d sum=%x\n",$time, cyc, sum);
if (sum != 8'h0f) $stop;
2010-01-25 12:52:07 +00:00
if (sum != sum_w) $stop;
2009-11-05 14:57:23 +00:00
$write("*-* All Finished *-*\n");
$finish;
end
end
endmodule