DVConUS 2023验证地平线通讯发布

在过去的几年里，你们中的一些人可能想知道为什么我们选择使用这个名字验证的视野我们的博客和时事通讯。第一个原因是这是一个非常酷的名字(如果我自己这么说的话)。事实上，我们早在2005年就开始了通讯，而博客直到几年后才开始。但现在，它们几乎是一样的。

我们现在发表我们的验证视野通讯文章在验证学院网站，而不是PDF文件。如果你喜欢这种方法，你仍然可以打印html版本，但多年来我们得到的反馈是，我们的大多数观众更喜欢在线阅读，所以这就是我们正在做的事情。在这篇博文中，我将做我传统的编辑介绍，在这种情况下，我们的的DVConUS 2023版验证的视野通讯．我相信您会发现这些文章有趣且有帮助。

在我们的第一篇文章中，一切，无处不在，同时发生:大数据重新想象验证的可预测性和效率，我的同事Darron May解释了如何使用预测分析来应用大数据方法来帮助管理验证过程。我们非常高兴地介绍我们的Questa™Verification IQ数据驱动验证解决方案，它将帮助您探索我们正在(或应该)在整个验证过程中收集的大量数据之间的不同关系。这篇文章提供了一些关于Verification IQ是如何工作的背景知识。

我们的下一篇文章，民主化以数字为中心的混合信号验证方法， Sumit Vishwakarma的文章，给了我们一个很好的概述，模拟和混合信号可以利用我们多年来在数字验证中使用的一些方法。

我们西门子家族的第三篇文章是开云体育平台登录通过管道消息总线在接收端的车道裕度及其应用，作者:萨钦·米什拉。本文将深入研究PCIe gen4的新车道边缘特性，以及设计人员如何使用它来创建更健壮的系统。

我们以两篇关于RISC-V验证不同方面的精彩文章开始我们的“合作伙伴角落”部分。首先我们有"RISC-V验证接口(RVVI) -测试基础设施和方法指南来自Imperas软件公司的朋友。开云体育官网入口我们都知道，当您在设计中引入灵活性时，它将变得更加难以验证。在RISC-V设计中尤其如此，因为每个人都可以设计自己的处理器扩展，而验证团队则需要确保这些扩展能够正常工作。本文概述了RVVI，并解释了它如何提高处理器验证工作的质量和可重用性。如果你正在你的项目中使用RISC-V，或者正在考虑使用它，我建议你看看这篇文章。

此外，我们还有“基于形式化的RISC-V处理器高效验证方法来自我们Codasip的朋友。正如我们所知，通过正式验证比模拟更容易发现某些错误，当你向自定义RISC-V处理器添加高级功能时，很容易引入这样的错误。在本文中，他们提供了一个案例研究，说明他们如何使用西门子EDA处理器验证应用程序来验证他们的L31 RISC-V核心。开云体育平台登录无论你是否正在使用处理器验证应用程序，你都将学到一些应该有助于你的下一个RISC-V项目的东西。如果您正在考虑使用L31，您将确信它已经过适当的验证。

我们继续以正式的方式"用一点帮助快速启动你的正式验证我们在杜罗斯的朋友说。我认识Doug Smith很多年了，当他提交了一篇如此全面的文章时，我并不感到惊讶。在本文中，Doug向我们介绍了如何利用“助手代码”不仅简化了一些重要的断言，而且能够将断言应用于我们无法正式验证的问题。

最后但并非最不重要的是，我们在Silicon Interfaces的朋友为我们带来了“解决I2C多时钟SOC环境的亚稳态问题在这篇文章中，他们介绍了一个案例研究，说明他们如何使用Questa时钟域交叉(CDC)验证工具来解决不同时钟的设计部分之间出现的亚稳态问题。这是我们许多人在项目中面临的问题，我相信您会发现一些有趣的掘金，可以应用到您自己的多时钟域设计中。

如果你在DVConUS之前或期间读到这篇文章，我希望你能在展厅的西门子展台前停下来，打个招呼。开云体育平台登录或者在会场附近找我。我总是喜欢听到同事们从我们提供的许多资源中受益，无论是博客文章、新文章，还是验证学院的其他有价值的内容。

恭敬地提交,

Tom Fitzpatrick

编辑器,验证的视野