玩网络研讨会

标题:使用OVL对Verilog和VHDL设计进行基于断言的验证

描述:Open Verification Library (OVL)是一个属性检查器库，用于数字电路描述，用流行的硬件描述语言编写，并由Accelera维护。OVL检查器不仅可以用于动态仿真，而且可以用于形式验证和仿真。此外，基于ovl的验证技术为设计人员实现基于断言的设计验证提供了最简单的方法。最后，OVL支持任何HDL语言(Verilog、SystemVerilog、VHDL)，支持使用任何仿真工具进行基于断言的验证。在本次网络研讨会中，我们将介绍如何在设计和验证过程中开始使用开放验证库(Open Verification Library, OVL)的实际指导。我们将提供各种代码示例来演示如何有效地将OVL用于Verilog和VHDL设计验证。还将概述使用OVL的静态形式化和基于仿真的验证方法。

注册一个账户很容易．有了Aldec帐户，您可以轻松地一键访问事件注册，支持，产品下载，评估许可证，录制的网络研讨会，白皮书，应用程序笔记和其他资源。金博宝188登陆只需在下面提供您的公司电子邮件地址-所有帐户请求将在48小时内验证和确认。

如果你已经有一个Aldec帐户，请在下面登录下载文件。