SVA assertion for realtime variables

[SARTH21]

In reply to sarth21:

Just to add : “diff” and “start_time” are declared as realtime .