知识中心
导航
知识中心

统一报道互操作性标准(验证)

统一报道互操作性标准(uci)提供了一个应用程序编程接口(API),使得覆盖率数据的共享软件模拟器硬件加速器,象征性的模拟,正式的工具或自定义验证工具。
受欢迎程度

描述

在Accellera工作组。
在设计验证,覆盖率指标常用来衡量有效性和强调验证需要注意的缺点。全面的验证方法采用多个验证流程,包括(但不限于)模拟、静态设计检查,功能形式验证,连续的等价性检查,和/或仿真。每个验证过程生成一个或多个覆盖指标可能是不相交的,重叠或子集。验证团队的关键角色之一是收集,合并和解释这大量的覆盖率数据提供一个整体的评估验证质量和进展提供完整的验证。

覆盖数据库(UCISDB)是一个存储库的覆盖率数据从所有验证过程。有保险消费者访问数据生成报告,注释的设计描述,更新测试/验证计划或其他分析功能。此外,一些过程可能操纵数据和生产商。覆盖率之间的标准化的API层uci数据库和覆盖生产者和消费者报道
使互操作性。

2012年6月标准的1.0版本发布

Baidu