ICS31.200 SJ L 56 备案号： 中华人民共和国电子行业标准化指导性技术文件 SJ/Z 11355—2006 集成电路IP/SoC功能验证规范 Specification for integrated circuit IP/SoC functional verification 2006-09-26发布 2006-12-01实施 中华人民共和国信息产业部发布 SJ/Z11355—2006 目 次 前言. 引言 IV 1概述 1.1范围.. 1.2 交付项概述 2 功能验证交付项 2.1 概述.. 2.2 文档... 2.3 测试平台， 2.4 驱动模块... 2.5 监控模块， 2.6 断言 2.7 功能覆盖率. 2.8 代码覆盖率.. 2.9 形式化方法.. 2.10 文档.. 10 2.11 行为模型 11 2.12 存储器行为模型. 12 2.13 VO压焊点详细行为模型 12 2.14 激励.. 13 2.15 脚本 13 2.16 存档模型. 2.17 功能验证证明. 14 SoC验证中功能验证交付项的复用 3 3.1 概述.. 14 3.2 IP再验证 3.3 在SoC中的IP再验证 4功能验证交付项规则.. .15 4.1 驱动模块 .15 4.2 监控模块， 16 4.3 断言... 4.4 功能覆盖率. 18 4.5 代码覆盖率. 4.6 形式方法. .24 4.7 文档.. 4.8 行为模型 ...29 4.9 脚本. .29 4.10 存档模型 ..30 I SJ/Z11355—2006 4.11 功能验证证明 .30 5测试平台编写指南.. 5.1 验证代码的编写 ..31 5.2 一般内容.. 5.3 符号常量. 5.4 程序.... .33 5.5 信号状态和时间. .33 5.6 时钟. .34 I/O和压点 5.7 消息 .37 5.8 终止 5.9 5.10 同步， .39 5.11 外部接口功能（如PLI程序） 39 5.12 配置控制. .40 5.13 IP复位... 40 5.14 测试平台接口。 5.15 存储器行为模型 ..40 5.16 存储器操作 5.17 VO压焊点的详细行为模型. ..41 5.18 激励. 42 5.19 检验 ..42 5.20 划分... ..42 5.21 命名 5.22 存储器映射控制. .43 5.23 激励源代码. 附录A（规范性附录）术语和定义 ..46 II SJ/Z113552006 前 言 本指导性技术文件的附录A为规范性附录。 本指导性技术文件由信息产业部电子工业标准化研究所归口。 本指导性技术文件起草单位：集成电路IP核标准工作组。 SJ/Z113552006 引言 本指导性技术文件是在参照VSIA（VirtualSocketInterfaceAlliance）《SpecificationforVC/SoC FunctionalVerificationVersion1.0》的基础上制定的。 本指导性技术文件所参照的文件得到了VSIA的版权许可。 本指导性技术文件作为集成电路SoC设计中IP核复用的试用文件，内容涉及一些基本的IP/SoC验证 方法，并简要说明了IP供应商应如何使用这些方法。 IV SJ/Z11355—2006 集成电路1P/SoC功能验证规范 1概述 1.1范围 集成电路IP核（IntellectualPropertyCore,以下简称IP）功能验证的目的是确保设计人员正确掌握并 实现IP的设计意图。对于使用IP的最终用户，完整的验证足以向其保证供应商已经经过采取了合理的步 骤来保障IP的质量，从而增强其在项目中使用IP的信心；而对于IP供应商，优秀的验证方法学则会带来 实际的经济利益，一方面会赢得客户的满意，另一方面会降低IP的支持和维护成本。 功能验证的理论和方法有很多。通常，为了很好地确保产品质量往往要求多种验证方法混合使用。 本规范是定义一些基本的验证方法，同时也简要地说明IP供应商应如何使用这些方法，才能被IP用户更 好地理解和复用。 本规范的最终目的是，尽可能地推动最终用户在其产品的集成和芯片级验证过程中重用IP供应商所 交付的验证环境。通常，验证环境由测试平台、模型、脚本文件和其他交付项组成，本规范对此进行详 细说明。 本规范没有对给出的各种功能验证方法做具体解释说明，也不要求在验证中用到全部方法。在用到 某种方法时，应参照本规范中相应条款对该方法的说明。 1.2交付项概述 交付项包括：对需要提交数据的规定，对提交数据格式的选择，需要的文档，以及IP和SoC功能验 证中所需的相关IP指南。 1.2.1交付项重要性级别 M（Mandatory）强制项； CM (Conditionally mandatory) - 一条件强制项； R（Recommended）一二推荐项； CR（ConditionallyRecommended) 条件推荐项。 1.2.2交付项一览表栏目定义 格式一本规范推荐采用的数据格式。若指定了两种或两种以上的格式，那么使用其中任何一种都 可以； 可遵照执行 一允许用户在使用该表格时核对自已的需求。如果需要核查该项，则在对应的栏中注 明； 备注相关交付项的适用条件。 1.2.3交付项一览表 见表1。 1.2.4引用文件 SJZ11359一2006集成电路IP核开发与集成的功能验证分类法 SJ/Z11355—2006 表1 交付项一览表 规则章 重要性 可遵照 章条号 交付项 格式 备注 条号 级别 执行 2.3 測试平台 Verilog,VHDL,C, C++, Vera, e 5.1-5.23 M 2.4 驱动模块 Verilog,VHDL,C, C++, Vera, e 4.1 R Verilog,VHDL, C, C++, Vera, e, 2.5 监控模块 4.2 PSL and System Verilog Verilog, VHDL, C, C++, Vera, 2.6 断言 4.3 R e, PSL and SystemVerilog 2.7.4 输入数据功能覆盖率 文本，列表 4.4.1 M 2.7.5 输出数据功能覆盖率 文本，列表 4.4.2 M 2.7.6 内部数据功能覆盖率 文本，列表 4.4.3 M 2.7.7 输入时段功能覆盖率 文本，列表 4.4.4 CM 2.7.8 输出时段功能覆盖率 文本，列表 4.4.5 CM 2.7.9 内部时段功能覆盖率 文本，列表 4.4.6 CM 2.7.10 输入/输出时段功能覆盖率 文本，列表 4.4.7 CM 2.8 代码覆盖率 Microsoft Word, PDE, HTML 4.5 R 2.9.2 采用等效性检验的验证 无 4.6.1 M 2.9.3 等效性检验数据 无 4.6.2 CR 2.9.4 晶体管或门级等效性检验 无 4.6.3 CR 2.9.5 无 动态形式化方法 4.6.4 CR 2.9.6 形式化覆盖率 无 4.6.5 CR 2.9.7 定理证明 无 4.6.6 CR 2.9.8 模型检验和属性检验 无 4.6.7 CR 2.9.9 形式化约束驱动激励生成 无 4.6.8 CR 符号模拟 2.9.10 无 4.6.9 CR 2.10.1 供应商功能验证文档 Microsoft Word, PDF 4.7.1 M 功能验证 2.10.2 Microsoft Word, PDF 4.7.2 M 交付项文档 2.11 行为模型 Verilog,VHDL,C,C++,Vera,e 4.8 CM 2.12 存储器行为模型 Verilog, VHDL,C,C++, Vera,e 5.15 CR 2.13 I/O压焊点的详细行为模型 Verilog,VHDL,C,C++,Vera,e 5.17 CM 2.14 激励 Verilog,VHDL,C,C++,Vera,e 5.18 R 2.15 脚本 Tel,Perl,make,UNIX shell 4.9 M 2.16 存档模型 4.10 R Verilog,VHDL,C,C++,Vera,e 2.17 功能验证证明 文本 4.11 R 2