中文 英语
知识中心
导航
知识中心

统一覆盖互操作标准(验证)

统一覆盖互操作性标准(UCIS)提供了一个应用程序编程接口(API),允许跨软件模拟器、硬件加速器、符号模拟、正式工具或自定义验证工具共享覆盖数据。
受欢迎程度

描述

Accellera内的工作组。
在设计验证中,覆盖度量通常用于度量有效性和突出需要注意的验证缺陷。综合验证方法采用多个验证过程,包括(但不限于)仿真、静态设计检查、功能形式验证、顺序等价性检查和/或仿真。每个验证过程生成一个或多个覆盖指标,这些指标可能是不相交的、重叠的或子集。验证团队的关键角色之一是收集、合并和解释这些大量的覆盖数据,以提供对验证质量和提供完整验证的进展的全面评估。

覆盖数据库(UCISDB)是来自所有验证过程的所有覆盖数据的单一存储库。覆盖消费者可以访问数据来生成报告、注释设计描述、更新测试/验证计划或其他分析功能。此外,一些进程可能操作数据,并且是生产者。覆盖数据库与覆盖生产者和覆盖消费者之间的标准化UCIS API层
使互操作性。

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

Baidu