Checking clock period using system verilog assertion

SystemVerilog
,
26

In reply to vijay kumar uba:

I don’t know where that property came from. The correct answer is
(('1,current_time=$realtime) |=>(clk_period==$realtime-current_time));
Ben