mirror of
https://github.com/verilator/verilator.git
synced 2025-01-09 08:07:46 +00:00
31 lines
730 B
Coq
31 lines
730 B
Coq
|
// DESCRIPTION: Verilator: Verilog Test module
|
||
|
|
//
|
||
|
|
// This file ONLY is placed into the Public Domain, for any use,
|
||
|
|
// without warranty, 2018 by Wilson Snyder.
|
||
|
|
|
||
|
|
module t;
|
||
|
|
parameter int SIZES [3:0] = '{1,2,3,4};
|
||
|
|
typedef int calc_sums_t [3:0];
|
||
|
|
|
||
|
|
function calc_sums_t calc_sums;
|
||
|
|
int sum = 0;
|
||
|
|
for (int i=0; i<4; i++) begin
|
||
|
|
sum = sum + SIZES[i];
|
||
|
|
calc_sums[i][31:0] = sum;
|
||
|
|
end
|
||
|
|
endfunction
|
||
|
|
|
||
|
|
parameter int SUMS[3:0] = calc_sums();
|
||
|
|
|
||
|
|
initial begin
|
||
|
|
$display("%d ",SUMS[0]);
|
||
|
|
if (SUMS[0] != 4) $stop;
|
||
|
|
if (SUMS[1] != 4+3) $stop;
|
||
|
|
if (SUMS[2] != 4+3+2) $stop;
|
||
|
|
if (SUMS[3] != 4+3+2+1) $stop;
|
||
|
|
$write("*-* All Finished *-*\n");
|
||
|
|
$finish;
|
||
|
|
end
|
||
|
|
|
||
|
|
endmodule
|