cover property

yuanpin318 · 发表于 2017-8-14 15:39:47

您需要登录才可以下载或查看，没有账号？注册

×

SVA中说cover property可以用于统计functional coverage.

但在实际中发现VCS同样会在coverage report中统计并报告"assert property"。

是不是意味着我可以不需要"cover property"?

qyxu1979 · 发表于 2017-8-14 16:01:15

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

账号		自动登录	找回密码
密码			注册

[求助] cover property