[资料]

硬件验证方法简明介绍

2022-11-26 20:43:20 10588 硬件验证

0 硬件验证方法简明介绍本书“硬件验证方法简明介绍”是“半导体 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，我每天都在使用它们。有些方法论已经不再使用，基本上是新一代方法论的基础，但快速回顾一下还是值得的。关注硬件验证领域的当前发展，因为它是一个不断发展的行业，无论是在技术上还是在应用上都处于快速发展阶段。工具，无论传统与否，每天都在涌现，因此本手册仅作为起点而非最终参考。为此，我没有包含很多实现细节。 3
举报淘帖0 只看该作者相关推荐 • Python硬件验证——摘要 29211 • 硬件验证语言——简介 9566 • 验证方法简介 5645 • GPIO接口的硬件介绍与操作方法分享 1013 • 简明集成稳压器应用手册 2904 • 基于VMM验证方法学的MCU验证环境实现方法介绍 2817 • Protel DXP简明使用教程 2632 • Vivado 简明教程 4486 • protel简明教程 4117 • 常用电子元器件简明手册 6607