---

第16卷第2期

在这个问题上

正式是“新常态”——在你的下一个项目中部署这些FV应用程序

杂志文章

形式化验证已广泛应用于许多芯片设计验证项目中。这一广泛采用的关键是自动化“应用程序”的可用性，它使正式部署在。。。查看日记文章

了解SVA引擎使用Fork-Join模型

杂志文章

SVA（systemverilogassertions）是一种功能强大的短手断言语言，具有许多结构；它是SystemVerilog的一个组成部分，但具有特定的语法和规则集。不像。。。查看日记文章

利用可移植刺激技术弥补UVM-SPI-VIP核从IP到子系统和SoC的可移植性鸿沟

杂志文章

在过去几十年中，IC的盖茨数量和设计的复杂性迅速增加，这导致了验证电路中的各种挑战。今天的IP，FPGA和SoC工程师......查看日记文章

使用Mentor QVIP使用PLDA PCIe控制器进行DMA应用的PCIe仿真加速

杂志文章

PCI Express®（PCIe®）是一种主流技术，适用于需要在网络、存储、FPGA和GPGPU板与服务器和桌面系统之间进行高速连接的硬件应用。它是。。。查看日记文章

延长RISC-V处理器DV的SOC设计验证方法

杂志文章

随着SoC开发人员采用RISC-V和开放ISA（指令集体系结构）提供的设计自由，DV团队将需要解决基于RISC-V的SoC的新的验证挑战。老牌的。。。查看日记文章

用OSVVM解决VHDL验证难题

杂志文章

大多数人都不认为VHDL作为验证语言。但是，使用开源VHDL验证方法（OSVVM）实用程序和验证组件库。使用OSVVM我们可以...查看日记文章

安全机构符合iso26262的有效验证方法

杂志文章

衡量安全机制有效性的指标包括代码覆盖率、单点失效度量和潜在失效度量。特别是在SPFM和LFM中，如果指定的。。。查看日记文章

第16卷第1期

在这个问题上

核实你的核实者

与任何大框架一样，有多种方法可以在UVM中完成。作为技术领先，人们希望建立一套编码指南/最佳实践，并确保他/她的团队成员......查看日记文章

基于人工智能的序列检测

自然语言处理基本上是一个广阔的研究领域，广泛用于确定用交际语言书写的语音或文本。NLP从语言学领域发展而来，取得了超出预期的成功，所以。。。查看日记文章

使用Questa®；SLEC加速多个HDL输出的验证

CodaSip的验证团队决定在确保每个HDL表示是相同的过程中使用Questa®SLEC应用程序，期望它将显着减少总验证......查看日记文章

用于设计和验证的开放数据管理工具

大数据技术已经发展到处理数据量和速度，目前由芯片设计和验证活动产生。然而，我们认为，有效管理的核心挑战是。。。查看日记文章

检测基于RISC-V®的片上系统中的安全漏洞

通常采用的安全验证技术，包括手动设计和代码审查、形式化验证和基于仿真的功能验证，作为大型验证的重要组成部分。。。查看日记文章

RISC-V处理器的形式化验证

处理器的功能验证是一个已知的挑战，但随着开源RISC-V®的出现，已经迎来了新的计算浪潮。不仅大学，而是几家大公司......查看日记文章

第16卷第1期

---

第15卷第3期

在这个问题上

通过正式验证，防止预防方便了

你正准备参加一个新项目的计划会议，这时你接到了一个来自你公司的客户顾问经理的电话：一个你开发的产品刚刚开始批量销售，。。。188beat查看日记文章

设计便携式刺激重用策略

创建足够的测试来验证当今复杂的设计是一个关键的验证挑战，这个挑战从IP块级验证一直到SoC验证。这个。。。查看日记文章

别忘了礼节！一种避免硅片缺陷的CDC协议方法

当今的复杂设计包括多个异步时钟，异步时钟域之间的信号交叉可能导致功能错误。当来自一个异步时钟域的信号。。。查看日记文章

使用命令序列锻炼状态机

几乎每个非平凡的设计都至少包含一个状态机，通过合法状态、状态转换和状态转换的不同原因来使用该状态机是关键。。。查看日记文章

为什么需要硬件仿真来验证深度学习设计

毫无疑问，计算机永远改变了我们的生活。尽管如此，尽管计算机在复杂的任务（如在几乎零时间内解复杂的数学方程）上比人类表现出色，但它们可能。。。查看日记文章

第15卷第3期

---

第15卷第2期

用于验证高级驾驶员辅助系统的SystemC FMU

提出了一个集成的框架来模拟电子系统（包括数字和模拟设备）和一个异构汽车系统的机械部件。电子系统，包括。。。查看日记文章

在SystemVerilog中创建PSS测试方法

便携式刺激是验证领域的最新热点之一。Mentor和其他供应商在这个领域已经有了一些工具，Accelera最近刚刚发布了便携式测试。。。查看日记文章

用“河钓”技术进行正式的昆虫捕猎

形式验证已经成功地用于验证当今的SoC设计。传统的形式化验证从时间0开始，有利于早期设计验证，但效率不高。。。查看日记文章

别忘了礼节！一种避免硅片缺陷的CDC协议方法

时钟域交叉（CDC）问题是硅重自旋的第二个最常见的原因。大多数现代设计都有不止一个时钟，其中许多都是异步的。在逻辑之间传递的信号。。。查看日记文章

PSS实现级序列的自动生成

便携式测试和刺激标准（PSS）v1.0a旨在帮助用户描述高级测试意图，并为任何下游验证平台创建代码。本文以一个快速的。。。查看日记文章

UVMF，超越ALU发生器教程，扩展DUT输入的实际测试控制

Mentor UVMF文档和示例为如何通过Python脚本从头生成UVMF框架提供了很好的指导。然后，砰的一声，在相当短的时间内，从。。。查看日记文章

第15卷第2期

---

第15卷第1期

在这个问题上

用于验证高级驾驶员辅助系统的SystemC FMU

提出了一个集成的框架来模拟电子系统（包括数字和模拟设备）和一个异构汽车系统的机械部件。电子系统，包括。。。查看日记文章

在SystemVerilog中创建PSS测试方法

便携式刺激是验证领域的最新热点之一。Mentor和其他供应商在这个领域已经有了一些工具，Accelera最近刚刚发布了便携式测试。。。查看日记文章

用“河钓”技术进行正式的昆虫捕猎

形式验证已经成功地用于验证当今的SoC设计。传统的形式化验证从时间0开始，有利于早期设计验证，但效率不高。。。查看日记文章

别忘了礼节！一种避免硅片缺陷的CDC协议方法

时钟域交叉（CDC）问题是硅重自旋的第二个最常见的原因。大多数现代设计都有不止一个时钟，其中许多都是异步的。在逻辑之间传递的信号。。。查看日记文章

PSS实现级序列的自动生成

便携式测试和刺激标准（PSS）v1.0a旨在帮助用户描述高级测试意图，并为任何下游验证平台创建代码。本文以一个快速的。。。查看日记文章

UVMF，超越ALU发生器教程，扩展DUT输入的实际测试控制

Mentor UVMF文档和示例为如何通过Python脚本从头生成UVMF框架提供了很好的指导。然后，砰的一声，在相当短的时间内，从。。。查看日记文章

第15卷第1期

---

第14卷第3期

在这个问题上

FPGA验证挑战和机遇

多年来发表的IC / ASIC功能验证趋势有多项研究。[1] [2] [3] [4]但是，没有公布的研究专门集中在现场可编程门上......查看日记文章

用便携式刺激建立更好的虚拟序列

好的虚拟序列很难创建，更难以原作者没有明确意图的方式重用。便携式刺激可以使创建虚拟序列更容易，。。。查看日记文章

简化混合信号验证

混合信号设计是将真实世界的模拟信息，如光、触、声、振、压、温等，带入数字世界进行处理的艺术。成长。。。查看日记文章

一种新的低功耗验证方法：Power Invell Apps

由于低功耗体系结构复杂，并且设计中使用的电源域数量较多，因此需要对设计的一部分进行选择性报告。在这方面缺乏行业标准已经。。。查看日记文章

第14卷第3期

---

第14卷第2期

在这个问题上

具有高级分层数据模型的全面CDC验证

由于CDC信号可以导致亚稳态，CDC亚稳态问题已经成为设计重新旋转的主要原因之一。这一趋势使得CDC验证成为设计中更为关键的一步。。。查看日记文章

使用便携式刺激和UVM寄存器模型创建SOC集成测试

在SoC级别，验证对寄存器的访问确认处理器字节顺序与互连实现匹配，并且启动代码正确地配置内存管理单元（MMU）...查看日记文章

这不是我的错！如何使用正式运行更好的故障运动

正如功能验证使用覆盖率来确定完整性一样，ISO标准定义了一种称为诊断覆盖率的随机硬件故障覆盖率，它代表了。。。查看日记文章

使用Questa®VIP（QVIP）对NVMe进行覆盖率驱动的验证

功能覆盖的关键是制定一个详尽的验证计划，包含从协议规范中提取的覆盖点和交叉点。查看日记文章

第2部分：PA静态验证-从电源意图到低功耗设计的微体系结构检查

在本文的第II部分中，我们将此讨论结束了一个真实的例子来分析PA-STATIC结果和报告，以及有效的调试PA-静态异常。查看日记文章

在仿真平台中寻找的三个主要组件

硬件仿真具有足够的执行速度、充分的可视性能力以及在模型创建和模型更新中的易用性，以跨越整个设计开发生命周期的整个需求范围。。。查看日记文章

任务关键型应用中的复杂可寻址寄存器

在本文中，我们将讨论客户在任务关键型应用程序中使用的一些复杂寄存器。查看日记文章

RTL故障验证

传统上，工程师们用延迟注释门级模拟来验证设计是安全的。查看日记文章

利用黄金预测模型和配置层对RISC-V处理器内核进行UVM验证

RISC-V是加州大学伯克利分校（universityofcalifornia，Berkeley）开发的一个免费使用和开放的ISA，现在得到了RISC-V基金会的正式支持。查看日记文章

第14卷第2期

---

第14卷第1期

在这个问题上

通过便携式刺激使您的约束更加动态

Accelera的便携式刺激标准（PSS）除了支持我们在SystemVerilog中熟悉的功能外，还引入了一些新的约束功能。这篇文章。。。查看日记文章

配置MEMERY读取完成通过PCIe®QVIP发送的完成

本文介绍了返回完成的各种方法，以及如何在软件中实现这些方法。金宝博滚球专家查看日记文章

SATA规范3.3 SATA QVIP填补的空白

串行ATA（SATA）协议的Supeded Suppered ATA（PATA）提供了更高的信令速率，减少电缆尺寸和优化数据传输，以及主机总线适配器之间的连接。查看日记文章

第一部分：从电源意图到低功耗设计的微体系结构检查的电源感知静态验证

PA静态检查工具用于静态验证设计的基本技术包括确定MV或PA规则是否符合电源意图或UPF规范以及。。。查看日记文章

SVA替代复杂断言

本文首先解释了这些概念，然后举例说明了如何使用SystemVerilog任务在没有SVA的情况下编写一个相对简单的断言；这为理解。。。查看日记文章

一种基于RISC-V的soc分层可配置验证策略

基于RISC-V的SoC可以基于体系结构或微体系结构参数配置成不同的实现。为了解决验证的挑战，这提出了一个分层和可配置的。。。查看日记文章

第14卷第1期

---

第13卷，问题3

在这个问题上

并行调试：通往更好的大数据散居地的途径

杂志文章

本文描述了一种并行调试的方法，以及一个支持詹金斯框架，使大规模处理器和磁盘农场，这是常见的芯片之间的可用性。。。查看日记文章

高级综合用户验证流中的便携式刺激建模

杂志文章

在过去一两年里，便携式刺激已经成为验证界的热门词汇，但与大多数“新”概念一样，它是从一些已经建立的工具和方法演变而来的。查看日记文章

用便携式刺激平滑软件驱动验证的路径金宝博滚球专家

杂志文章

硬件/软件边界的验证和确认不能合理地推迟到原型在实验室中提出，因为软件对当今系统的运行至金宝博滚球专家关重要。。。。查看日记文章

使用Questa®验证管理进行验证规划

杂志文章

本文包含使用此跟踪过程以及可以减少验证周期中的时间以跟踪验证进度的关键功能的详细步骤。查看日记文章

将传统USB IP转换为低功耗USB IP

杂志文章

要成功实现低功耗设计，真正需要的是设计团队的专业知识和面向低功耗实现的模拟工具。这篇文章抓住了我们如何使用导师的。。。查看日记文章

了解UPF功率域和域边界

杂志文章

通用功率格式（UPF）在高功率战斗中缓解动态和静态功率的核心作用在先进的过程技术中的争斗中。查看日记文章

RISC-V验证流程中的自动化和重用

杂志文章

由RISC-V Foundation [1]管理的开放式RISC-V指令集架构（ISA）并由越来越多的谁在半导体和系统世界中备份，提供...查看日记文章

仿真–一种作业管理策略，最大限度地利用

杂志文章

基于硬件的仿真之所以成为有效验证流的“必备条件”，有很多原因。增加了系统的复杂性、协议、嵌入式软件、电源和验证。。。金宝博滚球专家查看日记文章

RTL CDC已经不够了-如何门级CDC现在是第一关成功的关键

杂志文章

时钟域交叉（CDC）验证是设计验证周期中的一个关键步骤。然而，CDC验证不仅在RTL上是必要的；在28nm节点及以下，它在门级上也是必要的。。。查看日记文章

形式验证：不仅仅针对控制路径

杂志文章

SystemVerilog helper构造与协议目标假设的正确交错定义了一个可管理的状态空间，并开启了对数据路径进行形式化驱动的完整路径验证的承诺。。。查看日记文章

第13卷，问题3

---

第13卷，问题2

在这个问题上

EDA对功能安全的支持-静态和动态故障分析如何提高功能安全评估的生产率

功能安全是许多当前和即将推出的汽车产品的主要促成因素，并已由ISO 26262标准正式确定。查看日记文章

将Questa®VIP连接到处理器验证流的分步教程

本文描述了RISC-V处理器的验证，重点介绍了QVIP配置器和Questa®；VIP（QVIP）组件自动生成UVM验证环境的组合。查看日记文章

PA GLS：功率感知门级仿真

在GL netlist PA-SIM期间，任何检测到的门级单元的输出端口和时序逻辑都会发生损坏。查看日记文章

SoC设计中的复位验证

在本文中，我们介绍了复位树验证和解决方案所涉及的常用问题。查看日记文章

调试不确定的断言和案例研究

在本文中，我们将讨论调试非结论性断言的流程，并以ECC设计为例展示处理非结论性断言的分解技术。查看日记文章

使用测试意图获得通用性：使用便携式刺激将测试意图与设计细节分离

本文展示了Accelera PSS如何用于开发用于在SoC中生成内存通信量的通用测试意图，以及如何将该通用测试意图针对特定设计。查看日记文章

第13卷，问题2

第11卷，问题3

在这个问题上

记忆是这样形成的

记忆模型有两个主要功能。第一种方法是将信息存储在数据结构中，以便可以对其进行写入、检索和更新。第二个是提供一个信号电平接口，允许。。。查看日记文章

一种新的CPU指令集激励模型

验证处理器的特定实现是否完全符合规范是一项困难的任务。由于非常大的总刺激空间是困难的，如果不是不可能的，以确保。。。查看日记文章

片上调试—降低总体ASIC开发进度风险

随着ASIC复杂性的增加和不断增加的上市时间压力，许多硅设计团队仍然面临着计划外旋转和长时间的硅后调试周期带来的严重进度风险。然而，。。。查看日记文章

QVIP在验证中提供彻底性

目前的设计使用标准接口来连接和管理片上系统（soc）中的功能块。这些接口协议非常复杂，创建内部VIP可能。。。查看日记文章

最小化约束以调试空证明

在工业设计的模型检查实践中，大多数误报（即缺少设计缺陷）都可以归结为覆盖失败的问题。调试失败的根本原因。。。查看日记文章

通用UVM记分牌

所有的UVM工程师都使用记分板来检查DUT/参考模型的行为，但是只有少数工程师通过使用现有的记分板架构来明智地花费时间。主要原因是。。。查看日记文章

硬件仿真：三十年的进化 - 第二部分

在第三个十年的开始，大约在2005年，系统和芯片工程师们正在开发越来越复杂的设计，混合了许多相互连接的模块、嵌入式多核处理器、数字信号。。。查看日记文章

第11卷，问题3

第11卷，问题2

在这个问题上

验证机载电子设备硬件：自动捕获DO-254的断言验证结果

本文主要讨论基于断言的验证（ABV）方法，并讨论用于捕获验证结果以加速验证过程的自动化技术。查看日记文章

DO-254高速FPGA接口测试

本文主要讨论基于断言的验证（ABV）方法，并讨论用于捕获验证结果以加速验证过程的自动化技术。查看日记文章

MBIST-MCPs的形式化和基于断言的验证

本文主要讨论基于断言的验证（ABV）方法，并讨论用于捕获验证结果以加速验证过程的自动化技术。查看日记文章

从正式测试计划开始正式权利

本文主要讨论基于断言的验证（ABV）方法，并讨论用于捕获验证结果以加速验证过程的自动化技术。查看日记文章

在UVM环境下重用MATLAB函数和Simulink模型，自动生成systemverilogdpi组件

本文主要讨论基于断言的验证（ABV）方法，并讨论用于捕获验证结果以加速验证过程的自动化技术。查看日记文章

基于UVM和Questa的智能试验台自动化

本文主要讨论基于断言的验证（ABV）方法，并讨论用于捕获验证结果以加速验证过程的自动化技术。查看日记文章

单元测试是一个可靠的测试平台

本文主要讨论基于断言的验证（ABV）方法，并讨论用于捕获验证结果以加速验证过程的自动化技术。查看日记文章

硬件仿真：三十年的发展——第二部分

本文主要讨论基于断言的验证（ABV）方法，并讨论用于捕获验证结果以加速验证过程的自动化技术。查看日记文章

加速RTL仿真技术

本文主要讨论基于断言的验证（ABV）方法，并讨论用于捕获验证结果以加速验证过程的自动化技术。查看日记文章

基于仿真的ISO 26262兼容处理器设计方法

本文主要讨论基于断言的验证（ABV）方法，并讨论用于捕获验证结果以加速验证过程的自动化技术。查看日记文章

解决了传统VIP用于PHY验证的局限性

本文主要讨论基于断言的验证（ABV）方法，并讨论用于捕获验证结果以加速验证过程的自动化技术。查看日记文章

第11卷，问题2