国家IP核标准符合性评测与认证指南

国家IP核标准符合性评测与认证指南

（v1.0）

集成电路公共服务部

信息产业部软件与集成电路促进中心

目录

一、 IP核评测与认证流程 (3)

二、 IP核评测与认证类别 (4)

1. 数字软IP核标准符合度验证评测（类别一） (4)

1)流程 (4)

2) 度量定义 (4)

3)评测输出 (4)

2. 数字软IP核EDA工具验证评测（类别二） (5)

1) 流程 (5)

2) 度量定义 (6)

3) 评测输出 (9)

a) 代码质量检查报告 (9)

b) 验证质量检查报告 (10)

c) 综合质量检查报告 (10)

d) 可测性检查报告 (11)

e) 形式化验证报告 (11)

f) 性能检查报告 (11)

g) 功耗检查报告 (12)

3. 数字软IP核FPGA验证评测（类别三） (13)

1) 流程 (13)

2) 度量定义 (14)

3) 评测输出 (15)

4. 数字软IP核硅形态验证评测（类别四） (16)

1) 流程 (16)

2) 度量定义 (16)

3) 评测输出 (17)

三、附件一（申请书） (18)

填表要求 (19)

申请单位基本情况 (20)

IP核概况 (21)

申请单位声明 (22)

四、附件二 (23)

数字软IP交付项 (23)

客户任务CSIP任务双方任务

对于数字软IP核的评测与认证将采取四种方法进行，分别为：

1、数字软IP核标准符合度验证评测；

2、数字软IP核EDA工具验证评测；

3、数字软IP核FPGA验证评测；

4、数字软IP核硅形态验证评测。

以上四种方法从不同侧面和角度对数字软IP核进行评测与认证，详见下面具体说明。

评测申请单位在填写附件一的申请书时，需要根据需求参看下面的说明填写出详细需求验证评测类别。

1. 数字软IP核标准符合度验证评测（类别一）

1)流程

客户依照《IP核评测交付项列表》（参见附录二），提供给CSIP相应的数据和文档。评测人员完成对IP核交付项的整理和分析后，交付到评测系统。评测系统依照度量定义并结合相应的权值给出IP核评分。

2)度量定义

依据信息产业部《集成电路IP核测试数据交换格式和准则规范》等11项标准作为基础，在以下几个方面对评测IP核给出综合的评价：交付项清单、代码质量、系统质量、逻辑设计、测试和制造质量、功能验证、时序和功耗质量等几个方面。

3)评测输出

在对客户IP核全方位、细致评测的基础上，我们依据国家IP核标准，通过我们的评测系统给出该IP核的评分。分值的高低反映了IP核在各方面与标准的符合度。

2. 数字软IP核EDA工具验证评测（类别二）

1)流程

整个IP评测框架的目标是辅助评估人员对IP作出准确的评估。目前该框架被设计为支持Verilog或是VHDL描述的软核IP。图1给出了整个评估框架的体系结构，以及关键的组件。

图1数字软IP核评测框图

2)度量定义

目前该评测框架中使用的度量都定义在表1中。为了完成该度量的测量过程所需要的可交付项也同时列出。为了完成一个完整的IP质量评测流程，这些所需的可交付项必须包括在IP的最终的交付包中。

表1数字软IP核度量定义表

度量名称说明相关的交付项

代码质量度量

Compliance to VSIA QIP 2.0 coding style 测量该IP的代码检查中和VSIA QIP 2.0

中定义的代码规则的违反数量

可综合的RTL代码

Compliance to Readability coding style 测量该IP的代码检查中和代码可读性

中定义的代码规则的违反数量

可综合的RTL代码

Compliance to DFT rules 测量该IP的代码检查中和代码可测性

中定义的代码规则的违反数量

可综合的RTL代码设计质量度量

Total Cell Area 计算用于实现逻辑功能的单元总面积可综合的RTL代码,

设计约束

Net Interconnection Area 计算所有用于实现互连功能的单元的

总面积可综合的RTL代码, 设计约束

Total Cell Gate Counts 基于逻辑单元总面积和逻辑门的标准

面积计算逻辑功能部分的门数，公式如

下：

Gate Counts = Cell Area/Metric Gate

Area 可综合的RTL代码, 设计约束

Net Interconnection Gate Counts 基于互连单元总面积和逻辑门的标准

面积计算实现互连功能部分的门数，公

式如下：

Gate Counts = Interconnection

Area/Metric Gate Area

可综合的RTL代码,

设计约束

验证质量度量

Failing compare points 计算在RTL级和门级网表之间做形式

化验证时所出现的验证失败的比较点

数量。

可综合的RTL代码

Functional Coverage 基于用户提供的包含的断言的功能验

证平台计算IP的功能覆盖率。该度量目

前只是作为一个参考。测试平台(包括了断言，声明), 验证向量, 可综合的RTL代码

代码覆盖率

Statement Coverage 计算在RTL级的验证过程中的代码行

覆盖率。只有当所有的语句都被测试到

的时候，该度量才能达到100％。测试平台, 验证向量, 可综合的RTL代码

Branch Coverage 只有当IP的代码中所有的if-then-else

分支语句或是case语句被至少一个测

试实例所测试到，该度量值才能达到

100％测试平台, 验证向量, 可综合的RTL代码

Condition Coverage 只有当代码中的每一个控制变量能够

取到该控制变量的数据类型所允许的

所有值时，该度量值才能达到100％。测试平台, 验证向量, 可综合的RTL代码

Toggle Coverage 该度量强调的是代码的可控制性问题，

大多被用于RTL级的数据路径的测试

中。测试平台, 验证向量, 可综合的RTL代码

FSM transition Coverage 该度量用于测量状态机的属性，用于强

调在IP中的控制逻辑的可能存在的问

题。测试平台, 验证向量, 可综合的RTL代码

Path Coverage 只有当所有可能的输出都能被一个或

多个输入来进行修改时，该度量值才能

达到100％。测试平台, 验证向量, 可综合的RTL代码

时序、性能度量时序约束

Typical application clock frequency 在完成逻辑综合后，计算大概的时钟频

率。

时序分析脚本

时序覆盖率

Setup Time Coverage 该度量是在逻辑综合后的时序分析过时序分析脚本