验证范围

当前发行


第16卷第2期

在本期

期刊文章

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

期刊文章

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

期刊文章

在过去的几十年中,集成电路上的门的数目和设计的复杂性迅速增加,这给验证电路带来了各种各样的挑战。今天的IP、FPGA和SoC工程师。。。查看日记文章

期刊文章

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

期刊文章

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

期刊文章

大多数人不认为VHDL是一种验证语言。然而,使用开源VHDL验证方法(OSVVM)实用程序和验证组件库,它是可行的。使用OSVVM我们可以。。。查看日记文章

期刊文章

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

第16卷第1期

在本期

与任何大型框架一样,在UVM中完成任务的方法不止一种。作为一名技术负责人,我们希望建立一套编码准则/最佳实践,并确保他/她的团队成员。。。查看日记文章

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

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

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

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

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

第16卷第1期


第15卷第3期

在本期

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


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

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

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

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

第15卷第3期


第15卷第2期

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

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

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

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

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

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

第15卷第2期


第15卷第1期

在本期

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

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

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

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

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

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

第15卷第1期


第14卷第3期

在本期

多年来,已有多个关于IC/ASIC功能验证趋势的研究发表。[1][2][3][4]然而,没有专门针对现场可编程门电路的研究发表。。。查看日记文章

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

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

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

第14卷第3期


第14卷第2期

在本期

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

在SoC级别,验证对寄存器的访问确认处理器字节顺序与互连实现匹配,并且引导代码正确配置内存管理单元(MMU),例如。。。查看日记文章

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

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

在文章的第二部分,我们用一个实例来分析PA静态结果和报告,以及有效地调试PA静态异常。查看日记文章

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

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

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

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

第14卷第2期


第14卷第1期

在本期

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

本文介绍了返回完成的各种方法,以及如何在软件中实现这些方法。金宝愽备用网址查看日记文章

为取代并行ATA(PATA)而开发的串行ATA(SATA)协议为主机总线适配器之间的连接提供了更高的信令速率、更小的电缆尺寸和优化的数据传输。。。查看日记文章

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

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

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

第14卷第1期


第13卷第3期

在本期

期刊文章

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

期刊文章

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

期刊文章

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

期刊文章

本文包含使用此跟踪过程的详细步骤以及可以缩短验证周期中跟踪验证进度的关键特性。查看日记文章

期刊文章

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

期刊文章

通用功率格式(UPF)在降低先进工艺技术中的动态和静态功率方面起着核心作用。查看日记文章

期刊文章

开放RISC-V指令集架构(ISA)由RISC-V基金会管理(1),并由越来越多的WHO谁在半导体和系统世界的支持,提供…查看日记文章

期刊文章

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

期刊文章

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

期刊文章

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

第13卷第3期


第13卷第2期

在本期

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

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

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

在本文中,我们将介绍重置树验证中常见的问题以及解决这些问题的方法。查看日记文章

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

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

第13卷第2期


第13卷第1期

在本期

本文将通过在随机访问生成、配置数据库、目标机制、数据挖掘等方面应用不同的优化技术来提高UVM测试台的性能,。。。查看日记文章

也许当今设计和验证中最大的挑战之一是确定提高生产率的解决方案,以控制工程人员数量查看日记文章

计算机正在逃离它们的笼子。直到最近,人们还在屏幕和鼠标的虚拟世界中与计算机进行交互。那个世界有很多安全风险,但安全风险相对较少,主要是。。。查看日记文章

虽然UVM在构建测试台和测试场景/序列方面非常出色,但是UVM的主要目标是构建健壮的、可重用的测试台。查看日记文章

在过去的几年中,人们投入了大量的精力来提高设计验证结果的效率和质量。这项工作主要集中在最适用的技术上。。。查看日记文章

功能验证通常侧重于验证设计的逻辑功能。与功能验证密切相关的一个被忽视的领域是逻辑的正确实现。查看日记文章

UPF提供了一种机制,将这种定制PA断言的绑定与功能SystemVerilog断言(SVA)和设计分离开来。查看日记文章

第13卷第1期


第12卷第3期

随着设计复杂度的不断提高,ASIC和SoC(system-on-chip)设计验证已成为设计验证工程师面临的最大挑战。各种硬件描述语言。。。查看日记文章

我们最熟悉的标准USB连接器是USB Type-A。即使USB数据接口从USB1移动到USB2,然后再移动到USB3,连接器仍然保持不变。它是一个巨大的连接器。。。查看日记文章

汽车不仅移动迅速,而且有各种先进技术组成的系统。越来越复杂的这些系统需要更复杂的组件。。。查看日记文章

公司使用硬件仿真的方式已经改变。历史上,仿真器是在实验室中,在一个位置,一次执行一个任务。因此,仿真器经常处于空闲状态。在这种情况下,。。。查看日记文章

基于多电压(MV)的功率器件(PA)设计验证和实现方法需要在库中为标准、MV和宏单元提供特殊的电源管理属性。。。查看日记文章

智能验证的需要是长达20年的硅前验证过程的结果。智能测试台自动化是智能验证的一个补充,是智能验证的一个重要步骤。。。查看日记文章

第12卷第3期


第12卷第2期

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

第12卷第2期

第12卷第1期

在本期

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

第12卷第1期


第11卷第3期

在本期

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

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

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

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

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

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

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

第11卷第3期


第11卷第2期

在本期

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

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

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

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

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

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

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

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

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

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

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

第11卷第2期

第11卷第1期

在本期

在本文中,我们将介绍由Mentor Graphics委托的2014年Wilson研究小组功能验证研究的一些亮点。我们研究的一个重要结论是验证。。。查看日记文章

在本文中,我们详细介绍了UPF逐次求精方法。我们将解释如何为IP块指定电源管理约束,以确保在电源管理系统中正确使用。。。。查看日记文章

Mentor的Questa PowerAware RTL验证方法通过在独立于电源的UPF文件中定义电源架构,帮助定义多个电源架构而不更改RTL。。。查看日记文章

让我们仔细看看这三个时期,特别考虑硬件模拟器的特性以及它们是如何演变的。我们也来看看硬件背后的原因。。。查看日记文章

验证在项目进度中被广泛接受,SoC设计团队的任务是验证日益复杂的设计。查看日记文章

在任何验证环境中,保持所有测试运行并确保每个测试继续有效都需要大量的工作。为了使这项工作更容易,测试需要保持。。。查看日记文章

本文介绍了功能覆盖模型的一些重要特性,这些特性将有助于验证工程师开发高质量的功能覆盖模型。场景。。。查看日记文章

第11卷第1期



第10卷第2期

在本期

我又来了。上次我谈到把东西放在一起,当我指的是东西的时候,结果是数字的人给了我一个RTL,模拟的人给了我一个香料网表。查看日记文章

功能覆盖率在验证设计的完整性方面起着非常重要的作用。然而,为不同的芯片、用户、规格版本等定制一个覆盖计划是一个非常繁琐的过程。。。查看日记文章

SystemVerilog提供了一种称为权重约束的方法,可以使用这种方法在当今的验证组件中实现动态性。支持正常实施的体重年龄限制是。。。查看日记文章

从头开始开发基于UVM的测试台是一个耗时且容易出错的过程。工程师必须学习面向对象编程(OOP),ASIC开发人员通常使用的一种技术。。。查看日记文章

SystemVerilog有covergroup的概念,它可以跟踪在模拟过程中观察到的情况。查看日记文章

我16岁的儿子刚下楼到我的办公室(我很幸运能在家工作),重新启动我们的家庭网络路由器,以便我们的电视可以连接到互联网。查看日记文章

本文概述了FPGA或ASIC设计的最佳实践,假设采用传统的瀑布式开发过程。查看日记文章

调试这些现代的基于类的测试台是痛苦的,至少有两个原因。首先,它们是使用面向对象的编码风格、宏、动态事务、阶段和。。。查看日记文章

本文描述了如何合并LLI Questa验证知识产权(QVIP)可以产生许多好处,包括更快、更灵活的验证和更容易的调试。查看日记文章

仿真器,如Mentor Graphics Veloce®,能够比逻辑仿真器以RTL数量级的速度运行设计。查看日记文章

第10卷第2期


第10卷第1期

在本期

工程师们在编写RTL模型时所能做的一些小事情可以显著提高验证效率。SystemVerilog的很大一部分是可合成的。查看日记文章

互联网革命改变了我们分享内容的方式,移动革命在内容创造和消费方面推动了这一现象。向前看,物联网。。。查看日记文章

IEEE 1149.1-2013不是你父亲的JTAG。2013年6月发布的新版本标志着标准化如何调试和测试FPGA、SOC和3D SIC的一个重大飞跃。查看日记文章

由于UVM/OVM是基于TLM的,序列和序列项起着至关重要的作用,必须以最有效的方式创建,以减少返工和模拟时间,并使验证。。。查看日记文章

Questa-inFact基于图形的智能测试台自动化为VHDL测试台环境提供了这样一个“桥梁”。查看日记文章

我不知道这是怎么回事,但前几天我被雇来做一件叫AMS验证的事。似乎有这种芯片设计结合了数字和模拟的东西,我被问到。。。查看日记文章

在最后期限前完成任务与在冬季风暴来袭前修复供暖系统没什么区别。虽然这两种情况下的利害关系不同,但最终。。。查看日记文章

第10卷第1期


第15卷第2期

在本期

聊天| 联系人