SV ASSERTION

In reply to sheetal saini:

I do not know what you mean by “compares positive values not zero”. The equality operator should work.

Can you give an example? show values and the declarations of a and b.