Checking a clock using SVA

In reply to dave_59:

I am facing compilation errors while using $real_time inside interface.
Error : cannot use real type in dynamic world

-Srikanth