cover property

SVA中说cover property可以用于统计functional coverage.
但在实际中发现VCS同样会在coverage report中统计并报告"assert property"。
是不是意味着我可以不需要"cover property"?

两个东西吧，一个是断言覆盖率，一个是功能覆盖率