美利体育登录入口官网:SJ/Z 11359-2006
集成电路IP核开发与集成的功能验证分类法
Taxonomy of functional verification for integrated circuit IP core development and integration
- 标准号
- SJ/Z 11359-2006
- 发布
- 2006年
- 国际标准分类(ICS)
- 31.200 集成电路、微电子学
- 总页数
- 19页
- 发布单位
- 行业标准-电子
- 当前最新
- SJ/Z 11359-2006
- 引用标准
- SJ/Z 11358-2006
- 适用范围
- 本指导性文件（以下简称文件）的目的是对不同的验证技术予以介绍，并对这些技术涉及的术语进行统一定义。 本文件是为从事集成电路IP核（Intellectual Property Core, 以下简称IP）和系统芯片（System-on-Chip,以下简称SoC）开发设计的工程人员编写的。包括从事创建IP的设计及验证、以及为了设计SoC而从事IP集成和验证的工程人员。在第1、2和3章的最后，列出了该章中用到的术语。
| 术语 | 描述 |
|---|---|
| 物理原型 physical prototype | 物理原型是目标设计的一种硬件表达方式。这种设计模型的运行性能“接近”目标设计的性能。它的操作速度接近但不一定等于最终目标设计速度。 |
| 随机测试图形模拟 random pattern simulation | 随机选择的地址、数据和控制信号驱动总线或其他电路单元的模拟。 |
| 可重构原型系统 re-configurable prototyping system | 是一种构建物理原型的方法。它利用现成的元件，带有键合引出线的硅片，非挥发性 FPGA，以及 ICE 等元素，作为目标设计中的各个 IP 模块，如：微处理器、存储器、DSP、ASIC 核和 IO 接口等构成目标设计的原型系统。 |
| 寄存器传输级语言 register transfer language | 一种表达设计的编程语言。它可以把设计的架构结构表达出来，但不全部明显地表达出 Verilog HDL 和 VHDL 两者都可以用寄存器传输级描述。 |
| 半形式验证 semi-formal verification | 使用模拟结果作为形式验证起点和验证技术。这种方法通常只涉及全部状态空间的一部分，因此没有模型检验完整。 |
| 信号覆盖率 signal coverage | 表明状态信号或 ROM 地址信号执行的好坏程度。 |
| 语句覆盖率 statement coverage | 表明在设计层次每条语句执行的次数。 |
| 静态功能验证 static functional verification | 静态功能验证采用形式数学方法进行验证，不使用验证测试套件。 |
| 符号模拟 symbolic simulation | 是一种模拟方式，它的部分或全部输入使用符号变量。 |
| 系统芯片 System-on-Chip | 包含多个 IP 核以实现某种确定功能的单个硅片。 |
| 测试平台 testbench | 对设计施加激励信号并监视设计的响应是否正确的整个系统。 |
| 定理证明 theorem proving | 用形式逻辑表达设计规范，并通过数学技术来证明设计遵从该规范的形式验证技术。 |
| 信号触发覆盖率 toggle coverage | 表明设计中信和号的某一位被触发。 |
| 触发覆盖率 triggering coverage | 表明每个进程是否被其敏感度列表中的每个信号唯一触发到。 |
| 验证度量 verification metrics | 衡量设计验证过程有效性的技术。可分为硬件代码覆盖率度量和功能覆盖率度量。 |
| 虚拟原型 virtual prototype | 虚拟原型是一个产品、一个元件或一个系统的计算机模拟模型。在探索设计的替代方案和考察设计的正确性方面很有用。 |
| 被访问状态覆盖率 visited state coverage | 表明在模拟过程中有限状态机有多少个状态被输入。 |
| 等效性布尔检验 boolean equivalence checking | 一种等效性形式检验方法。首先对每一个设计的两个版本确定配对的存储单元，然后证明在每个配对存储单元的输入处组合逻辑是等效的，这就意味实现的是相同的真值表。 |
| 等效性形式检验 formal equivalence checking | 是形式化地证明，在不同抽象层次上一个设计的两个不同描述实现了等效功能的技术。 |
| FS 状态机覆盖率 FSM arc coverage | 表明有限状态机执行了多少次状态转换。可以作为路径覆盖率的一部分来处理。 |
| 测试套件由功能级向 RTL 级的移植 functional to RTL test suite migration | 将设计的行为抽象模型中的测试套件转化成适合 RTL 级应用的测试套件的方法。 |
| 黄金模型检验器 golden model checkers | 检验一个设计的两个模型响应信号的模拟监视器。其中一个模型被认为是规范或者与规范等效，这个模型有时也称为“黄金模型”。 |
| 物理验证 physical verification | 检验设计的几何图形数据以确保物理实现是原始设计的正确描述。物理验证包括三个不同的检查：ERC、DRC 和 LVS。 |
| 回归测试 regression testing | 以很少的人工干预，用批处理的方式运行大量模拟的技术。而且，其结果也用批处理模式进行分析，出错能自动进行报告。 |
| 测试套件由 RTL 级向网表级的移植 RTL to netlist test suite migration | 将中级模型中使用的测试套件转化成适合网表级应用的测试套件的方法。 |
| 等效性时序检验 sequential equivalence checking | 不需要将一个设计中的存储器单元映射到另一个设计的形式检验技术。相反是证明具有不同数目或不同排列的存储单元在相同的输入下产生相同输出流的设计。通常，每个设计的一组初始状态必须加以指定。 |
| 验证测试套件的移植 verification test suite migration | 将设计的某个层次（比如门级网表）上执行的测试套件转化为可在另一层次上应用的测试套件（如 RTL 级）的方法。 |
| 等效性验证 Equivalence Verification | 验证各层次的设计和设计的各种格式在功能上是否一致的过程。 |
| 集成验证 Integration Verification | 对包含一个或多个 IP 的 SoC 功能进行验证的过程。 |
| 目的性验证 Intent Verification | 确定一个设计是否符合其行为规范的验证过程。 |
| IP 验证 IP Verification | 对单个 IP 核进行功能验证的过程，即元件的单元测试。 |
| 专用原型 application-specific prototype | 由商用元件制造的原型美利体育官网首页网址。 |
| 分支覆盖率 branch coverage | 表明哪条 |
| 基于周期的模拟 cycle-based simulation | 设计中的每个元件在每个时钟周期中只执行一次求值的模拟。与基于事件的模拟相对照。又称为节拍式模拟。 |
| 确定性模拟 deterministic simulation | 激励信号和设计模型的期望响应都被明确规定了的模拟。 |
| 定向的模拟 directed simulation | 在模拟过程中，为了强调设计的某些方面，有意选择的数值占很大的比例的模拟。 |
| 动态 - 形式混合验证 dynamic-formal hybrid verification | 将基于模拟的验证技术和形式验证技术结合起来的验证技术。 |
| 动态验证 dynamic verification | 是用一套激励信号对设计模型或设计的一组模型进行的验证。 |
| 仿真 emulation | 仿真器是专门设计的硬、软件系统，使用的是一些可重构硬件，如 FPGA 等。这些系统可以用来模拟硬件设计。 |
| 仿真系统 emulation systems | 使用硬件仿真器来构建物理原型的系统。 |
| 预期结果检验 expected results checkers | 一种通过将模拟结果与预先定义的正确响应相比较进行检验的方法。 |
| 表达式覆盖率 expression coverage | 表明在 |
| 基于事件的模拟 event-based simulation | 事件（输入数值的变化，在一个时钟周期中可能出现好几次）在设计中传播，直到稳定状态条件出现的模拟。可与基于周期模拟相对照。 |
| 形式验证 formal verification | 使用数学技巧和公式，不用验证测试套件对设计的各个方面进行的验证。形式验证技术覆盖了目的性验证和等效性验证两者。 |
| 功能覆盖率 functional coverage | 覆盖率度量，通常与一段时间里行为变化以及事件序列（如跟踪总线的相互作用）相关。这需要对设计及设计意图相当了解的人单独加以定义。 |
| 硬件加速 hardware acceleration | 将一个软件模拟器的所有元件映射到一个特意用来加速模拟进程的硬件平台的系统。 |
| 硬件代码覆盖率 hardware code coverage | 在 RTL 级上的设计覆盖率。包括语句覆盖率、变量触发覆盖率、有限状态机转移以及状态访问覆盖率、 |
| 硬件建模 hardware modeling | 硬件模型器接收来自模拟器的输入，然后将该输入送到硬件样片中运行一个以上的周期，然后获得器件的输出信号，并将它送回模拟器。 |
| 软/硬件协同验证 hardware/software co-verification | 设计的硬件和软件部分在同一个系统中执行，并行进行验证。 |
| 模型检验 model checking | 又称为特性检验。模型检验是一种形式验证技术，它在全部状态空间范围内检验设计是否不具备某些特性，如，规范中规定的行为。 |
| 非定向模拟 non-directed simulation | 直接由随机测试图形产生器驱动的模拟。 |
| 路径覆盖率 path coverage | 表明 |
| 协议检验器 protocol checkers | 是一种检验手段，它检查一个接口的行为是否被违反，或确定行为可以接受。 |
美利体育登录入口官网: SJ/Z 11359-2006 中提到的仪器美利体育官网首页网址
| 仿真器 基于现场可编程器件（如 FPGA）的可重构逻辑系统 | 专门设计的硬件和软件系统，通过编程来实现目标设计的行为并进行其功能仿真，能够以接近最终目标设计的速度进行模拟。 |
| 协议检验器 嵌入到测试平台或设计中的单元 | 监视接口的事务处理以及检查任何无效操作的单元，在模拟过程中美利体育登录入口官网到无效操作即标记为错误。 |
| 物理原型 基于 FPGA、ASIC 核、微处理器等构成的硬件系统 | 目标设计的一种硬件表达方式，运行性能接近目标设计平台的性能，用于开发和调试应用软件、测试系统性能等。 |
| 硬件加速器 特别设计的硬件平台 | 为加速某些模拟操作而将软件模拟中部分或全部的组件具体安排在特别设计的硬件平台中的过程，测试平台在软件中运行，被验证的设计在硬件加速器中运行。 |
| 硬件模型器 硬件样片 | 接收来自模拟器的输入，然后将该输入送到硬件样片中运行一个以上的周期，获得器件的输出信号，并将它送回模拟器。 |
| 预期结果检验器 系统验证平台的一部分 | 对模拟结果与事先制订的预期响应文件进行比较，如果两者不符，将立即报错。 |