首页资源分类电源技术 > 国家IP核标准符合性评测与认证指南.pdf

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

已有 460221个资源

下载专区


TI最新应用解决方案

工业电子 汽车电子 个人消费电子

文档信息举报收藏

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

分    享:

文档简介

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

文档预览

国家 IP 核标准符合性评测与认证指南 国家 IP 核标准符合性评测与认证指南 (v1.0) 集成电路公共服务部 信息产业部软件与集成电路促进中心 集成电路公共服务部 1 目录 国家 IP 核标准符合性评测与认证指南 一、 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 集成电路公共服务部 2 一、 IP 核评测与认证流程 IP 核评测与认证流程 客户任务 CSIP 任务 双方任务 国家 IP 核标准符合性评测与认证指南 Customer CSIP 客户评测申请 填写并提交申 请书 签署评测与认 证合同 根据需要发送 相关评测材料 提供相应的技 术支持 通知客户 客户核查 IP 核评测服务 申请书 IP 核评测与认 证类别说明 IP 核评测与认 证合同 根据提供材料 进行评测认证 评测结果分析 报告认证证书 解释结果 分析报告 发布 认证证书 集成电路公共服务部 3 二、 IP 核评测与认证类别 国家 IP 核标准符合性评测与认证指南 对于数字软 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 核在各方面与标准的符合度。 集成电路公共服务部 4 国家 IP 核标准符合性评测与认证指南 2. 数字软 IP 核 EDA 工具验证评测(类别二) 1) 流程 整个 IP 评测框架的目标是辅助评估人员对 IP 作出准确的评估。目前该框架被设计 为支持 Verilog 或是 VHDL 描述的软核 IP。图 1 给出了整个评估框架的体系结构,以及 关键的组件。 集成电路公共服务部 5 国家 IP 核标准符合性评测与认证指南 图 1 数字软 IP 核评测框图 2) 度量定义 目前该评测框架中使用的度量都定义在表 1 中。为了完成该度量的测量过程所需要 的可交付项也同时列出。为了完成一个完整的 IP 质量评测流程,这些所需的可交付项 必须包括在 IP 的最终的交付包中。 表 1 数字软 IP 核度量定义表 度量名称 说明 相关的交付项 代码质量度量 Compliance to VSIA QIP 2.0 coding style Compliance to Readability coding style Compliance to DFT rules 设计质量度量 Total Cell Area Net Interconnection Area 测量该 IP 的代码检查中和 VSIA QIP 2.0 可综合的 RTL 代码 中定义的代码规则的违反数量 测量该 IP 的代码检查中和代码可读性 可综合的 RTL 代码 中定义的代码规则的违反数量 测量该 IP 的代码检查中和代码可测性 可综合的 RTL 代码 中定义的代码规则的违反数量 计算用于实现逻辑功能的单元总面积 计算所有用于实现互连功能的单元的 总面积 可综合的 RTL 代码, 设计约束 可综合的 RTL 代码, 设计约束 集成电路公共服务部 6 Total Cell Gate Counts Net Interconnection Gate Counts 验证质量度量 Failing compare points Functional Coverage 代码覆盖率 Statement Coverage Branch Coverage Condition Coverage Toggle Coverage FSM transition Coverage Path Coverage 时序、性能度量 时序约束 Typical application clock frequency 时序覆盖率 Setup Time Coverage 国家 IP 核标准符合性评测与认证指南 基于逻辑单元总面积和逻辑门的标准 面积计算逻辑功能部分的门数,公式如 下: 可综合的 RTL 代码, 设计约束 Gate Counts = Cell Area/Metric Gate Area 基于互连单元总面积和逻辑门的标准 面积计算实现互连功能部分的门数,公 式如下: 可综合的 RTL 代码, 设计约束 Gate Counts = Interconnection Area/Metric Gate Area 计算在 RTL 级和门级网表之间做形式 化验证时所出现的验证失败的比较点 数量。 基于用户提供的包含的断言的功能验 证平台计算 IP 的功能覆盖率。该度量目 前只是作为一个参考。 可综合的 RTL 代码 测试平台 (包括了断 言,声明), 验证向量, 可综合的 RTL 代码 计算在 RTL 级的验证过程中的代码行 覆盖率。只有当所有的语句都被测试到 的时候,该度量才能达到 100%。 测试平台, 验证向量, 可综合的 RTL 代码 只有当 IP 的代码中所有的 if-then-else 分支语句或是 case 语句被至少一个测 试实例所测试到,该度量值才能达到 测试平台, 验证向量, 可综合的 RTL 代码 100% 只有当代码中的每一个控制变量能够 取到该控制变量的数据类型所允许的 所有值时,该度量值才能达到 100%。 测试平台, 验证向量, 可综合的 RTL 代码 该度量强调的是代码的可控制性问题, 大多被用于 RTL 级的数据路径的测试 中。 测试平台, 验证向量, 可综合的 RTL 代码 该度量用于测量状态机的属性,用于强 调在 IP 中的控制逻辑的可能存在的问 题。 测试平台, 验证向量, 可综合的 RTL 代码 只有当所有可能的输出都能被一个或 多个输入来进行修改时,该度量值才能 达到 100%。 测试平台, 验证向量, 可综合的 RTL 代码 在完成逻辑综合后,计算大概的时钟频 时序分析脚本 率。 该度量是在逻辑综合后的时序分析过 时序分析脚本 集成电路公共服务部 7 Hold Time Coverage Min_Pulse_Width Coverage 特殊的时序覆盖率 Recovery Time Coverage Removal Time Coverage Timing Borrow Paths Multicycle Paths False Paths 国家 IP 核标准符合性评测与认证指南 程中计算。强调对信号的建立时间的检 查。计算公式如下: Setup Time Coverage = violation numbers of setup timing checking/total numbers of setup timing checking 该度量是在逻辑综合后的时序分析过 程中计算。强调对信号的保持时间的检 查。计算公式如下: 时序分析脚本 Hold Time Coverage = violation numbers of hold timing checking/total numbers of hold timing checking 该度量是在逻辑综合后的时序分析过 程中计算。强调对信号的持续时间的检 查。计算公式如下: 时序分析脚本 Min_Pulse_Width Coverage = violation numbers of min pulse width timing checking/total numbers of min pulse width timing checking 该度量是在逻辑综合后的时序分析过 时序分析脚本 程中计算,强调对异步的清除和复位信 号的时序的检查。计算公式如下: Recovery Time Coverage = violation numbers of recovery timing checking/total numbers of recovery timing checking 该度量是在逻辑综合后的时序分析过 时序分析脚本 程中计算,强调对异步的清除和复位信 号的时序的检查。计算公式如下: Removal Time Coverage = violation numbers of removal timing checking/total numbers of removal timing checking 统计所有的包括了 latch 的时序路径的 时序分析脚本 数目。 该度量有助于衡量 IP 的时序分析的复 杂度。 统计所有的包括了多个时钟周期的时 时序分析脚本 序路径的数目。 该度量有助于衡量 IP 的时序分析的复 杂度。 统计所有的假的时序路径的数目。 时序分析脚本 该度量有助于衡量 IP 的时序分析的复 集成电路公共服务部 8 功耗度量 ATPG Test Patterns Peak Power Application Test Patterns Peak Power ATPG 测试向量下的平均功耗 Dynamic Average Power 杂度。 国家 IP 核标准符合性评测与认证指南 基于 ATPG 测试向量来计算峰值功耗。 功耗分析脚本 该度量值会随着对工具配置的不同而 有较大的变化。 基于 IP 供应商提供的测试向量来计算 功耗分析脚本 峰值功耗。该度量值会随着对工具配置 的不同而有较大的变化。 基于 ATPG 测试向量来计算动态的平均 功耗分析脚本 功耗。 Static Average Power 实际测试向量下的平均功耗 Dynamic Average Power Static Average Power 可测性度量 Fault Coverage IDDQ Coverage Number of Full Scan Chains 基于 ATPG 测试向量来计算静态的平均 功耗。 该度量适用于 0.13 微米或以下的工艺 流程。 功耗分析脚本 基于 IP 供应商提供的测试向量来计算 动态的平均功耗 基于 IP 供应商提供的测试向量来计算 静态的平均功耗。 该度量适用于 0.13 微米或以下的工艺 流程。 功耗分析脚本 功耗分析脚本 在完成扫描链的插入后,计算 IP 故障覆 盖率。 在完成扫描链的插入后,计算 IDDQ 的 测试覆盖率。该度量一般被应用于 0.18 微米或以下的工艺流程中 计算插入该 IP 的全扫描链的数目 可测性脚本 可测性脚本 可综合 RTL 代码, 可 测性脚本 3) 评测输出 a) 代码质量检查报告 代码质量影响 IP 核的可重用性、可维护性和便携性。评测流程中采用了一个基于 LEDA 规则的代码质量度量标准来对代码质量进行检查。该质量标准包括了三个规则集 合。在评测流程中定义了三个不同代码规则集合:VSIA QIP(包括了可综合性以及时钟、 复位相关的规则),可读性和可测性规则。下图是“RTL 代码风格检查”的表格。 在该表 格中有三个不同代码检查规则集合。IP 的设计人员可以根据 IP 核的实际情况来宣称 IP 是否 集成电路公共服务部 9 国家 IP 核标准符合性评测与认证指南 遵循某个规则集合。而且可以从该规则集合中选择不适用于该 IP 的规则,并填写在该表格 中。 不适用于该 IP 的规则列表 是否遵循该规则集合的声 明 b) 验证质量检查报告 验证质量主要采用代码覆盖率作为度量。在评测流程中,我们使用Synopsys公司的 VCS_MX作为测量工具。 c) 综合质量检查报告 在目前的评测流程中,设计质量度量只包括了对面积的评测。该度量主要针对可综 合的电路,包括:逻辑单元面积(Total Cell Area)和互连面积(Net Connection Area)。 对于布局布线阶段前的设计,互连面积度量只能是作为一个参考来使用 集成电路公共服务部 10 d) 可测性检查报告 国家 IP 核标准符合性评测与认证指南 这里主要使用故障覆盖率和Iddq覆盖率作为可测性的主要度量指标。扫描路 径将被插入到可综合的设计中,一个测试向量生成工具将被应用到故障覆盖率和 Iddq覆盖率的测量中。 e) 形式化验证报告 形式化检查主要应用于 RTL 设计和相应的网表实现之间。该检查可以用数学的方 法来证明两者之间的等价性。通过该度量可以确保 IP 核能够在不同的工艺库间得到正 确的综合结果。 f) 性能检查报告 性能检查的度量主要是从时序分析的报告中抽取时序上的冲突。这里可以使用时序 覆盖率(Timing Coverage)来作为一个概要的度量,具体的信息将存放在时序分析的报 告中。实际上,一个 IP 核只有满足给定的时间约束才能算是通过最终的评测。在自动 化的评测流程中,我们使用 PrimeTime 来进行时序分析。 集成电路公共服务部 11 国家 IP 核标准符合性评测与认证指南 g) 功耗检查报告 功耗检查包括两大类度量:最坏情况功耗和实际情况功耗。最坏情况功耗的度量使 用 ATPG 的测试向量来进行测量。而为了给出实际情况功耗的度量值,IP 的提供商必须 在 IP 的可交付项中包括符合实际应用情况的测试向量。 (1) 实际功耗分析 (2) ATPG 功耗分析 集成电路公共服务部 12 国家 IP 核标准符合性评测与认证指南 3. 数字软 IP 核 FPGA 验证评测(类别三) 1) 流程 FPGA 设计验证的基本流程如下: 1.设计方案 2.编码或原理图输入 3.RTL 级仿真(模块级和系统级) 4.综合、布局布线 5.静态时序分析 6.动态时序仿真 7.加载与调试 图 1 FPGA 验证流程图 FPGA 验证成为 SoC 设计流程中重要的一个环节,一方面作为硬件验证工具, 集成电路公共服务部 13 国家 IP 核标准符合性评测与认证指南 可以将所设计的 RTL 级代码综合实现后写入 FPGA 芯片进行调试检错;另一方面 可以进行软件部分的并行开发,在验证板上检测驱动程序、启动操作系统。FPGA 验证的流程相当于一个 FPGA 设计的主要流程,它主要分为设计输入、综合、功 能仿真(前仿真)、实现、时序仿真(后仿真)、配置下载、下载后板级调试检错 这几个步骤。总的来说,FPGA 验证是整个 SoC 设计中一个重要而且有效的验证 步骤,用来改进 RTL 级设计代码,验证功能的正确和完整性,提高 SoC 流片成功 率。图 2 为 FPGA 验证平台。 2) 度量定义 度量名称 设计功能度量 IP 核功能的度量 图 2 FPGA 验证平台 表 1 FPGA 度量定义表 说明 相关的交付项 针对 IP 核验证所需的 FPGA 的容量和 功能及性能上的需求。 用以完成 IP 核 FPGA 功能验证的实 现。 ASIC 和 FPGA 物理结构上的不同,决 定了 ASIC 代码需要一定的修改才能 移植到 FPGA 上。但应该注意到这只是 由于物理结构不同而对代码进行的转 换,并不改变其功能。用以完成 IP 核的综合。 FPGA 的选型及使用 说明文档 IP 核 FPGA 功能验证 EDA 工具的使用及相 应的脚本和其说明文 档。 可 FPGA 综合的 RTL 代码 集成电路公共服务部 14 3) 评测输出 度量名称 设计功能度量 IP 核功能 X 国家 IP 核标准符合性评测与认证指南 用以对 IP 核 FPGA 验证的平台移植、 FPGA 引脚约束文件 功能的测试用途。 和接口说明文档 用以确定对 IP 核验证流程 IP 核的 FPGA 功能验 证参考流程及方法。 用以完成对 IP 核功能的全面验证。对 其功能给出一个定性和定量的判断。 FPGA 功能验证列表: 包括 (一) 功能测试项内容 (二) 单项测试所用的 到的软件和硬件 的激励 (三) 单项测试的响应 描述和捕获方法 (四) 测试中发现的设 计问题和缺陷 FPGA 验证软件环境: 包括 1、 IP 集成用的 RTOS 2、 测试软件源码及 可执行文件及其 连接库。 FPGA 验证硬件环境: FPGA 验证平台,如有 须提供,以及测试用 的特殊仪器及使用说 明,作参考平台建设 用。 第三方参考文件:指 由用户或者其他第三 方独立组织所提供的 测试结果或用户报 告,也包括一些 IP 应 用和集成的成功案 例。 功能说明 功能 X 的说明 相关度量的报告 实测功能是否吻合 集成电路公共服务部 15 国家 IP 核标准符合性评测与认证指南 4. 数字软 IP 核硅形态验证评测(类别四) 1) 流程 硅验证的基本流程如下: 1.环境搭建 2.芯片基本功能测试 3.数字软 IP 核功能测试 4.数字软 IP 核性能测试 5.功耗分析 6.填写报告 2) 度量定义 表 1 数字软 IP 核硅验证度量定义表 度量名称 说明 相关的交付项 数字软 IP 核硅验证测试度 量 测试芯片基本功能测试 对数字软 IP 核的硅化设计进行验 证,以确保后续测试项的可测性和 可信度 硅验证的说明文档 硅验证环境参考: 测试软件、硬件、通讯接口、 测试用的特殊仪器及相关说 明。 数字软 IP 核硅化设计文档、结 构框图及各管脚说明 数字软 IP 核功能测试 数字软 IP 核所要实现的功能进行 测试,包括各种工作模式下的数字 软 IP 核功能 数字软 IP 核能测试说明文档 特殊功能测试须提供相关测试 指南 如有数字软 IP 核设计手册或 设计厂家自己进行的测试报 告,也可提供作为测试参考 数字软 IP 核性能测试 数字软 IP 核所要实现的性能进行 数字软 IP 核性能测试说明文 测试,包括不同工作模式,不同工 档 艺模型,不同工作环境模型下的性 特殊性能测试须提供相关测试 能测试 指南 如有数字软 IP 核设计手册或 设计厂家自己进行的测试报 告,也可提供作为测试参考 功耗分析 通过对测试芯片的功耗测试,对芯 数字软 IP 核功耗测试说明文 集成电路公共服务部 16 3) 评测输出 度量名称 设计功能度量 测试芯片基本功能 X 数字软 IP 核功能 Y 数字软 IP 核性能 Z 国家 IP 核标准符合性评测与认证指南 片内数字软 IP 核的功耗进行分析, 档 包括不同工作模式,不同工艺模型, 特殊环境模式下的测试须提供 不同工作环境模型下的性能测试 相关测试指南 如有数字软 IP 核设计手册或 设计厂家自己进行的测试报 告,也可提供作为测试参考 表 2 数字软 IP 核硅验证输出表 功能说明 相关度量的报告 功能 X 的说明 功能 Y 的说明 性能 Z 的说明 实测功能是否吻合 实测功能是否吻合 实测数据是否达到标称值,多大程度 上落后或者超过标称值 集成电路公共服务部 17 三、 附件一(申请书) 编号: 国家 IP 核标准符合性评测与认证指南 密级:公开 信息产业部软件与集成电路促进中心 标准化 IP 核认证服务申请书 申请单位(公章): IP 核名称(编号): 申请日期: 信息产业部软件与集成电路促进中心 集成电路公共服务部 18 国家 IP 核标准符合性评测与认证指南 填表要求 请按如下要求填写/提交申请表单: 1) 申请表一律要求用计算机填写,内容应真实、具体。 2) 如填写内容较多,可另加附页。 3) 提交申请时准备两份纸版,同时交电子版一份(光盘)。 集成电路公共服务部 19 国家 IP 核标准符合性评测与认证指南 申请单位基本情况 申请单位全称(中文): 申请单位全称(英文): 地址: 邮政编码 法定代表人: 联系人姓名: 联系方式: 电话: 传真: 手机: Email: 集成电路公共服务部 20 IP 核概况 国家 IP 核标准符合性评测与认证指南 IP 核名称 编号/版本号 开发工具 验证环境 IP 核 类型 □软核 IP □模拟 IP 申 □类别一 请 □类别二 的 认 □类别三 □其它需要验证项 □硬核 IP 证 □类别四 IP 核应用 □多媒体应用 □嵌入式系统应用 □汽车电子应用 领域及行业 □移动通信 □信息安全 □互联网络 □存储设备 □通用接口 □其他 IP IP 核 核 基 基本 本 描述 描 述 及 特 点 IP 核 特点 以及 功能 简要描述 认证要求 认证 IP 核知识 产权说明 (专利列表以 及所属权) 认证结果发布 是否在国家 IP 核库挂牌推广 是否在媒体发表 □是 □是 应准备的 申请材料 具体要求参见《IP 核评测和验证类别》 □否 □否 集成电路公共服务部 21 申请单位声明 国家 IP 核标准符合性评测与认证指南 本单位自愿申请信息产业部软件与集成电路促进中心对 进行标 准化 IP 核认证,并承担下列义务: (1) 按信息产业部软件与集成电路促进中心《标准化 IP 核认证服务申请指 南》中的要求履行有关责任和程序。 (2) 本单位将预付本次认证服务所需的费用,并按信息产业部软件与集成电 路促进中心签署技术服务合同规定支付。 申请单位法定代表人(签名): 申请单位(盖章) 年月日 集成电路公共服务部 22 四、 附件二 国家 IP 核标准符合性评测与认证指南 数字软 IP 交付项 M-Mandatory,强制项 R-Recommended,推荐项 CM-Conditional Mandatory,条件强制项 CR-Conditional Recommended,条件推荐项 IP 交付项 文档交付项 交付项清单 IP 概述文件 标准证明文件 IP 模块指南 处理器 IP 核指南 IP 集成指南 IP 测试指南 验证指南 格式 重要性 备注 PDF, HTML, ASCII PDF, HTML, ASCII PDF, HTML, ASCII PDF, HTML, ASCII PDF, HTML, ASCII PDF, HTML, ASCII PDF, HTML, ASCII PDF, HTML, ASCII IP 集成者在 IP 交易时可以根据交付项清单来检查 R IP 交付项的完整性 为了方便 IP 的快速评估,该概述文件只对 IP 进行 M 简洁的描述。 如果 IP 是基于某类工业标准或协议进行设计的,则 CR IP 设计者须提供该 IP 的标准或协议兼容性的证明 文件 IP 模块指南主要给 IP 集成者提供关于该 IP 的 I/O、 CM 存储器映射、内部寄存器和功能描述的信息。 处理器 IP 核指南主要给 IP 集成者提供关于该 IP 的 CM I/O、存储器映射、指令集描述、寄存器堆和中断与 异常处理的信息。 IP 集成指南主要描述该 IP 进行 SoC 集成设计时的 相关信息。这些信息包括接口属性、功耗与面积、 M 综合过程描述等。充足而详细的信息有助于对 SoC 设计者进行指引。 IP 测试指南主要给 IP 集成者提供关于测试插入和 M 实现的相关信息。这些信息包括测试 wrapper、 测 试 patterns、DFT 结构和测试脚本等。 IP 验证指南主要提供验证策略和验证平台的相关 信息,以便于 IP 集成者进行功能验证。这些信息包 M 括 test bench、drivers 和 monitors、验证模型、激励 和测试码、仿真脚本、验证方法等。 版本信息文件 IP 问题报告 PDF, HTML, ASCII PDF, HTML, ASCII 版本信息文件记录了关于 IP 的描述变化以及相应 M 版本发布的历史信息。 IP 问题报告记录了该 IP 应用时存在的各种问题。 R 集成电路公共服务部 23 国家 IP 核标准符合性评测与认证指南 支持信息报告 PDF, HTML, ASCII 支持信息报告包含了 IP 供应商详细的联系方式、所 R 有权申明、术语表、责任申明、兼容性申明和质量 申明等内容。 代码检查交付项 目录结构文件 命名规范文件 RTL 代码风格规范文 件 可配置 rule-set 文件 代码风格检查脚本 代码风格检查的 Setup 环境文件 PDF, HTML, ASCII PDF, HTML, ASCII PDF, HTML, ASCII 脚本文件 脚本文件 脚本文件 基于通用标准目录结构组织的 IP,在相同环境下具 M 有即插即用能力,具有很好的重用性。 IP package 中需要包括一个统一的命名规范文件. R 代码风格文件将确保源代码的可读性和可理解性 CM CR 可配置 rule-set 文件包含了代码风格的规则 CM 代码风格检查脚本作为代码检查工具的输入使用。 Setup 环境文件是 EDA 工具进行代码风格检查时的 CM 辅助文件。 系统设计交付项 系统评估模型 行为模型 逻辑设计交付项 C/C++, VHDL, IP 用户在进行系统设计时,可以利用系统模型进行 Verilog, Matlab CR IP 的评估和选择。该模型是非周期精度的模型。 C/C++, VHDL, 行为模型用于单独 IP 的功能验证、IP 集成和软硬 Verilog M 件协同验证。行为模型是基于周期精度的模型,该 模型不包含 IP 内部的详细信息。 可综合的 RTL 源代码 Verilog, VHDL, PLI 可综合的 RTL 源代码精确描述了软核 IP 的功能。 该代码在 EDA 工具的支持下可以被综合和仿真。 M 可综合的 RTL 源代码可以看作基于标准 RTL 语言 描述、具有周期精度的 IP 模型。 源代码编译顺序文件 Tcl 脚本 源代码编译顺序文件记录了 IP 各模块进行编译时 R 的次序关系。. 综合脚本 DC shell 脚本, 综合脚本作为 EDA 综合工具的输入使用. Tcl 文件 M 综合约束 DC shell 脚本, 综合约束文件描述了综合相关的约束信息,包括时 Tcl 文件 R 序约束、功耗约束和面积约束等信息. 综合 setup 环境文件 Tcl 脚本 Setup 环境文件是 EDA 工具进行综合时的辅助文 M 件。 布局规划信息文件 PDEF, LEF, SDF 测试和制造相关的交付项 布局规划信息文件能对系统 IC 设计者提供帮助。 CR 这 些 信 息 主要 包 括 布 局规 划 约 束 、互 联 约 束 、 location 约束、块信息和 pin 信息等。 DFT 脚本 DFT Setup 环境文件 Tcl 脚本 Tcl 脚本 R DFT 脚本作为 EDA 可测性工具的输入使用。 Setup 环境文件是 EDA 工具进行可测性设计时的辅 R 助文件。 ATPG 脚本 Tcl 脚本 ATPG 脚本作为 EDA 自动测试图形产生工具的输 R 入使用 集成电路公共服务部 24 ATPG setup 环境文件 Tcl 脚本 R 设计规则检查文件 STIL 文件 R 测试 Wrappers Verilog, VHDL R 功能验证交付项 Testbench 多格式文件 M Monitors Verilog, VHDL, M C 详细的 memory 行为模 Verilog, VHDL, 型 CR C HDL 接口模型 Verilog, VHDL, R C 激励 仿真脚本 代码覆盖率 ASCII, 目标代 码, 约束 M 脚本、ASCII M 脚本、ASCII R 功能覆盖率 脚本、配置文件 R 形式等效性检查 形式模型检查 配置文件, 脚 本,约束 R 配置文件、脚本 R Emulation 多格式文件 R 时序和功耗分析相关的交付项 时序分析 Setup 环境文 配置文件 件 R 时序分析脚本 脚本 R User-defined switching 文件 配置文件 R SAIF 文件 SAIF 文件 R 国家 IP 核标准符合性评测与认证指南 ATPG 环境文件是 EDA 工具进行自动测试图形产 生时的辅助文件。 测试规则检查文件记录了可测性设计过程中需要 遵守的设计规则(如 build 规则、时钟规则、网表 规则,路经延迟规则等)。 测试 Wrappers 负责将测试序列转换成测试图像,用 于 IP 的测试。如果交付基于工业标准,如 IEEE P1500 的测试 Wrapper,会加快 SoC 的集成和测试过 程。 验证 testbench 交付项包括验证 IP 功能和时序所需 的模块和元件。Testbench 的构造要便于 IP 的 RTL 模型(RTL 源代码)验证。 Monitors 用来探测协议错误和监视仿真结果。 详细的 memory 行为模型用来确保仿真过程中 IP 模 块执行正确的功能。 HDL 接口模型是用来描述 IP 与外围环境相关操作 的器件模型。 激励是基于 testbench 上运行的一套用于功能验证 的测试向量(test cases)。 仿真脚本作为 EDA 仿真工具的输入使用。 代码覆盖率可以用来测量激励的质量。代码覆盖率 包括行覆盖率、触发覆盖率、条件覆盖率等。 功能覆盖率用来测量设计规范中的各种特征被满 足的程度。 形式等效性检查交付项用来验证 RTL 代码和网表 之间的逻辑等效性。 形式模型检查交付项通过形式数学方法来验证 IP 的功能属性。 Emulation 交付项包含 IP 模块在 emulator 仿真器上 进行仿真所需的文件和数据。 Setup 环境文件为 EDA 工具进行时序分析时的辅助 文件 时序分析脚本作为 EDA 静态时序分析工具的输入 使用。 User-defined switching 文件包含了 IP 供应商为进行 功耗分析而定义的开关活动情况。 SAIF 文件为用于基于开关活动功耗计算的开关活 动 交 互 格 式 文 件 (Switching activity interchange format file)。 集成电路公共服务部 25 国家 IP 核标准符合性评测与认证指南 VCD 文件 VCD 文件 VCD 文件包含用于功耗计算的基于事件的开关活 R 动信息。 功耗分析环境 Setup 文 件 脚本 环境 Setup 文件为 EDA 工具进行功耗分析时的辅助 R 文件。 功耗分析脚本 脚本 R 功耗分析脚本作为 EDA 功耗分析工具的输入使用。 注释: 1. 如果 IP 不含一个处理器核,则 IP 模块指南交付项为强制项。 2. 如果 IP 在功能上是一个处理器核或者 IP 包含一个处理器核,则处理器 IP 核指南交付项 为强制项。 3. 如果需要进行 RTL 代码风格检查,则 RTL 代码风格规范文件、代码风格检查脚本文件、 代码风格检查 setup 环境文件为强制项。并且如果可配置 rule-set 文件存在的话,该文件 为推荐项。但是,即使所有的交付项都提供的话,还需要一些人工的工作才能进行代码 风格检查。 4. 系统仿真模型不需满足基于周期的精度。交付该项的必要性取决于 IP 功能的复杂度和 SoC 集成的要求。 5. 只有系统 IC 设计者需要 IP 的布局规划信息。这些信息包括块信息、pin 信息、location 约束、 Mega-cell 信息如 RAM 等等 。由于布局规划信息是工艺库相关的,所以只有当 SoC 设计者需要时,它才为推荐项。 详细的行为模型包括 memory 模型 (RAM 和 ROM) 。当 IP 中包含嵌入式 memory, 则 C 和 Verilog 的 memory 模型属于推荐项。 集成电路公共服务部 26

Top_arrow
回到顶部
EEWORLD下载中心所有资源均来自网友分享,如有侵权,请发送举报邮件到客服邮箱bbs_service@eeworld.com.cn 或通过站内短信息或QQ:273568022联系管理员 高进,我们会尽快处理。