Add test for std::randomize with complex expressions
Signed-off-by: Jakub Wasilewski <jwasilewski@antmicro.com>
This commit is contained in:
parent
742c0b134c
commit
f8a25f8dcf
|
|
@ -0,0 +1,21 @@
|
|||
#!/usr/bin/env python3
|
||||
# DESCRIPTION: Verilator: Verilog Test driver/expect definition
|
||||
#
|
||||
# Copyright 2025 by Wilson Snyder. This program is free software; you
|
||||
# can redistribute it and/or modify it under the terms of either the GNU
|
||||
# Lesser General Public License Version 3 or the Perl Artistic License
|
||||
# Version 2.0.
|
||||
# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
|
||||
|
||||
import vltest_bootstrap
|
||||
|
||||
test.scenarios('simulator')
|
||||
|
||||
if not test.have_solver:
|
||||
test.skip("No constraint solver installed")
|
||||
|
||||
test.compile()
|
||||
|
||||
test.execute()
|
||||
|
||||
test.passes()
|
||||
|
|
@ -0,0 +1,107 @@
|
|||
// DESCRIPTION: Verilator: Verilog Test module
|
||||
//
|
||||
// This file ONLY is placed under the Creative Commons Public Domain, for
|
||||
// any use, without warranty, 2025 by Antmicro.
|
||||
// SPDX-License-Identifier: CC0-1.0
|
||||
|
||||
class inner_class;
|
||||
logic [3:0] c;
|
||||
logic [3:0] d[2];
|
||||
endclass
|
||||
|
||||
class test_class;
|
||||
logic [3:0] member[5];
|
||||
logic [3:0] member_2d[3][4];
|
||||
inner_class b;
|
||||
endclass
|
||||
|
||||
module t;
|
||||
initial begin
|
||||
test_class example;
|
||||
example = new;
|
||||
example.b = new;
|
||||
|
||||
// Simple array element access
|
||||
repeat(5) begin
|
||||
if (std::randomize(example.member[1]) with {example.member[1] inside {[0 : 3]};} == 0) begin
|
||||
$stop;
|
||||
end
|
||||
if (example.member[1] > 3) begin
|
||||
$stop;
|
||||
end
|
||||
end
|
||||
|
||||
// Different array indices
|
||||
repeat(5) begin
|
||||
if (std::randomize(example.member[0]) with {example.member[0] inside {[5 : 7]};} == 0) begin
|
||||
$stop;
|
||||
end
|
||||
if (example.member[0] < 5 || example.member[0] > 7) begin
|
||||
$stop;
|
||||
end
|
||||
end
|
||||
|
||||
// Last element
|
||||
repeat(5) begin
|
||||
if (std::randomize(example.member[4]) with {example.member[4] inside {[10 : 15]};} == 0) begin
|
||||
$stop;
|
||||
end
|
||||
if (example.member[4] < 10 || example.member[4] > 15) begin
|
||||
$stop;
|
||||
end
|
||||
end
|
||||
|
||||
// 2D array access
|
||||
repeat(5) begin
|
||||
if (std::randomize(example.member_2d[1][2]) with {example.member_2d[1][2] inside {[8 : 12]};} == 0) begin
|
||||
$stop;
|
||||
end
|
||||
if (example.member_2d[1][2] < 8 || example.member_2d[1][2] > 12) begin
|
||||
$stop;
|
||||
end
|
||||
end
|
||||
|
||||
// 2D array different indices
|
||||
repeat(5) begin
|
||||
if (std::randomize(example.member_2d[0][0]) with {example.member_2d[0][0] inside {[1 : 4]};} == 0) begin
|
||||
$stop;
|
||||
end
|
||||
if (example.member_2d[0][0] < 1 || example.member_2d[0][0] > 4) begin
|
||||
$stop;
|
||||
end
|
||||
end
|
||||
|
||||
// Nested object: obj.b.c
|
||||
repeat(5) begin
|
||||
if (std::randomize(example.b.c) with {example.b.c inside {[5 : 9]};} == 0) begin
|
||||
$stop;
|
||||
end
|
||||
if (example.b.c < 5 || example.b.c > 9) begin
|
||||
$stop;
|
||||
end
|
||||
end
|
||||
|
||||
// Nested object with array: obj.b.d[0]
|
||||
repeat(5) begin
|
||||
if (std::randomize(example.b.d[0]) with {example.b.d[0] inside {[11 : 14]};} == 0) begin
|
||||
$stop;
|
||||
end
|
||||
if (example.b.d[0] < 11 || example.b.d[0] > 14) begin
|
||||
$stop;
|
||||
end
|
||||
end
|
||||
|
||||
// Nested object with array: obj.b.d[1] (different index)
|
||||
repeat(5) begin
|
||||
if (std::randomize(example.b.d[1]) with {example.b.d[1] inside {[2 : 6]};} == 0) begin
|
||||
$stop;
|
||||
end
|
||||
if (example.b.d[1] < 2 || example.b.d[1] > 6) begin
|
||||
$stop;
|
||||
end
|
||||
end
|
||||
|
||||
$write("*-* All Finished *-*\n");
|
||||
$finish;
|
||||
end
|
||||
endmodule
|
||||
Loading…
Reference in New Issue