硬件验证方法简明介绍

硬件验证方法简明介绍

本书“硬件验证方法简明介绍”是“半导体 IP 核——不仅仅是设计”系列丛书中“验证 IP 和 IP 核验证”的一部分。

本书调查、处理和介绍了 IC 验证中涉及的一些关键方法、工具、包和库，特别是半导体知识产权 (IP) 核心设计过程，包括以下章节：

验证方法——概述
验证方法——简介
验证 IP - 方法论的作用
如何选择验证方法
基于标准的 IP 和 SoC 的验证方法
功能验证方法
形式验证方法论
基于断言的验证
进行“验证”的其他方法
通用验证方法 (UVM) – Accellera/Cadence
嵌入式UVM
UVM测试
开源 VHDL 验证方法 (OSVVM)
UVVM：通用 VHDL 验证方法（UVM For VHDL）
开放式验证方法 (OVM)
验证方法手册 (VMM)
eVC 重用方法论 (ERM)
参考验证方法 (RVM)
高级验证方法 (AVM)
通用重用方法论 (URM)
系统验证方法 (SVM)
cocotb
SVUnit
VUnit
OpenTitan
miniTB
开放验证库 (OVL)

本介绍性材料的主要目的是帮助验证新手熟悉目前市场上最流行的验证方法。 主要的验证方法是 UVM、OSVVM 和 cocotb，我每天都在使用它们。 有些方法论已经不再使用，基本上是新一代方法论的基础，但快速回顾一下还是值得的。 关注硬件验证领域的当前发展，因为它是一个不断发展的行业，无论是在技术上还是在应用上都处于快速发展阶段。 工具，无论传统与否，每天都在涌现，因此本手册仅作为起点而非最终参考。 为此，我没有包含很多实现细节。