SVA assertion for realtime variables

[SARTH21]

In reply to bdreku:

Thanks for the reply. The assertion still fails on posedge of @indd_b