In reply to sarth21:
There’s usually no need to duplicate an asserion directive with a cover directive having the same expression. Tools should automatically treat an immediate assertion as covered if attempted and passing. It should not be part of the coverage computation if never attempted. You may want to check the user manual for your tool for additional information.
You did not provide enough information about your requirements to know if your expression is modelled correctly.