DUT Speed calculation

In reply to Subbi Reddy:

Try using this assertion for checking the clock freq


assert property check_freq(2.85); //freq in ns

property check_frq(real expected_freq);
time curr_time;
@(posedge clk) (`1, curr_time=$time) ##1 ($time - curr_time)) == expected_freq;
endproperty