Leap Year SV Constraint

SystemVerilog
,
1

Trying to generate leap year using SV constraints. Does the below approach look correct?

class sample;
  
  rand bit [32:0] leap_year;
  
  constraint leap{
    leap_year inside {[1000:2100]};
   leap_year%4==0;
   leap_year%100==0 -> leap_year%400==0;
  }
endclass

module tb;
  sample s = new();
  
  initial begin
    s.randomize();
    
    $display("%d",s.leap_year);
  end
  
endmodule
2

In reply to totochan1985:

How can you tell from just one number?

You can try to constrain years on and off the list and see what happens.