022天津同城交友网

标题: cover property [打印本页]

作者: 彩虹网 时间: 2020-4-7 18:46
标题: cover property
SVA中说cover property可以用于统计functional coverage.

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

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

作者: 彩虹网 时间: 2020-4-7 18:46
两个东西吧，一个是断言覆盖率，一个是功能覆盖率

欢迎光临 022天津同城交友网 (http://www.btlz.cn/)