karthikeyan said:
Is it possible to see a Assertion Coverages???
Yes, The tools nowadays support assertion based coverage reports which will give information regarding number of assertion being fired ..etc.
Certainly, I think we don't need the assertion coverage.
For this, we may use the asseration in the testbench, not RTL code. With the hierachical calling, we call the assertion module in the TB.
Other way, use assertion with the specified comments by simulation tools. During verification, the coverage tool will dont counte the hit rate of assertion statements.
Good luck