Synthesizable SVA | Clock frequency checker without using realtime data type

The goal was to have everything internal to the design. From all the responses I have seen it seems like a reference clock is needed to write an assertion for the target clock. In that case either way works, using an external reference clock or using a faster internal clock.

Thank you for your responses.