设为首页收藏本站

开启辅助访问切换到宽版

022天津同城交友网»022天津同城交友网 › 天津生活 › 刀剑之窗 › cover property

发新帖

查看: 746|回复: 1

上一主题

下一主题

cover property

电梯直达

跳转到指定楼层

楼主

发表于 2020-4-7 18:46:14 | 只看该作者回帖奖励

回帖奖励

|倒序浏览 |阅读模式

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

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

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

分享到: QQ好友和群 QQ空间 腾讯微博 腾讯朋友

收藏0 分享

回复

使用道具举报

沙发

楼主| 发表于 2020-4-7 18:46:18 | 只看该作者

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

回复支持反对

使用道具举报

发新帖

手机版|联系我们|022天津同城交友网

GMT+8, 2024-5-7 03:30 , Processed in 1.250000 second(s), 16 queries .

Powered by Discuz! X3

© 2001-2013 Comsenz Inc.

快速回复 返回顶部 返回列表