《表3 覆盖率统计:半精度浮点数处理器的设计与验证》
表3是覆盖率统计信息。可以看到,通过随机化的验证平台的帮助,可以让功能覆盖率得到大幅提升。代码覆盖率也有小幅度提升。
图表编号 | XD0024688600 严禁用于非法目的 |
---|---|
绘制时间 | 2018.01.25 |
作者 | 宋聂平、韩俊刚、李涛 |
绘制单位 | 西安邮电大学计算机学院、西安邮电大学计算机学院、西安邮电大学计算机学院 |
更多格式 | 高清、无水印(增值服务) |
表3是覆盖率统计信息。可以看到,通过随机化的验证平台的帮助,可以让功能覆盖率得到大幅提升。代码覆盖率也有小幅度提升。
图表编号 | XD0024688600 严禁用于非法目的 |
---|---|
绘制时间 | 2018.01.25 |
作者 | 宋聂平、韩俊刚、李涛 |
绘制单位 | 西安邮电大学计算机学院、西安邮电大学计算机学院、西安邮电大学计算机学院 |
更多格式 | 高清、无水印(增值服务) |