// Code your testbench here
// or browse Examples
module top;
  int n_student;
  int n_rookey;
  int n_junior;
  int n_senior;
  int n_shibaki_nin;
  int student_fee;
  int rookey_fee;
  int junior_fee;
  int senior_fee;
  int total_fee;

  initial begin
    if (std::randomize(
      n_student, n_rookey, n_junior, n_senior, n_shibaki_nin,
      student_fee, rookey_fee, junior_fee, senior_fee, total_fee
    ) with {
      n_student     == 1;
      n_rookey      == 4;
      n_junior      == 9;
      n_senior      == 19;
      n_shibaki_nin == n_student + n_rookey + n_junior + n_senior;

      student_fee inside {[0:1000]};
      (student_fee % 500) == 0;

      rookey_fee inside {[(student_fee+1):3_000]};
      (rookey_fee % 500) == 0;

      junior_fee inside {[(rookey_fee+1):5_000]};
      (junior_fee % 500) == 0;

      senior_fee inside {[(junior_fee+1):6_000]};
      (senior_fee % 500) == 0;

      total_fee inside {[5_000*n_shibaki_nin:5_000*n_shibaki_nin+1_000]};
      total_fee == (student_fee * n_student) + (rookey_fee * n_rookey) + (junior_fee * n_junior) + (senior_fee * n_senior);
    }) begin
      $display(
        "student_fee: %0d rookey_fee: %0d junior_fee: %0d senior_fee: %0d total_fee %0d/%0d",
        student_fee, rookey_fee, junior_fee, senior_fee, total_fee, n_shibaki_nin * 5_000
      );
    end
    else begin
      $display("randomize failed");
    end
    $finish;
  end
endmodule

Chronologic VCS simulator copyright 1991-2023
Contains Synopsys proprietary information.
Compiler version U-2023.03-SP2_Full64; Runtime version U-2023.03-SP2_Full64;  Nov  4 10:04 2025
NOTE: automatic random seed used: 2127848173
student_fee: 500 rookey_fee: 2500 junior_fee: 4500 senior_fee: 6000 total_fee 165000/165000
$finish called from file "testbench.sv", line 49.
$finish at simulation time                    0
           V C S   S i m u l a t i o n   R e p o r t 
Time: 0 ns
CPU Time:      0.430 seconds;       Data structure size:   0.0Mb
Tue Nov  4 10:04:51 2025