SVA assertion for realtime variables

In reply to bdreku:

You don’t want to use the $floor function here because it converts realtime to an integer in nanoseconds.

That said, it is indeed a bad idea to use equality operators with real numbers. (See this article and this one).