Open Verification Library (OVL) is a library of property checkers for digital circuit descriptions written in popular Hardware Description Languages and maintained by Accelera. The OVL checkers could be used not only in dynamic simulation, but also in formal verification and emulation. Also, the OVL-based verification technology provides the easiest way for designers to implement assertion-based verification of their design. Finally, OVL supports any HDL language (Verilog, SystemVerilog, VHDL), enabling assertion-based verification with any simulation tools.
In this webinar, we will present practical guidance on how to start using Open Verification Library (OVL) in design and verification process. We will provide various code examples to demonstrate how to efficiently use OVL for Verilog and VHDL design verification. Static formal and emulation-based verification methods using OVL will be outlined as well.
Agenda:
- Assertion-Based Verification: An Overview
- Introduction to Assertion-Based Verification with OVL
- Applying OVL – based verification on HDL designs
- Using OVL checkers in emulation/prototyping
- Formal Model checking with OVL
- Live-Demo
SHA850A first handheld spectrum & vector network analyzer
The new analyzer is highly integrated and specially designed for field operation. The device is handy and lightweight and has many useful analysis functions integrated.
Industry’s first electrical AC DC validation solution for SD cards and eMMC devices
PGY-SSM-EV-TesterForstinning (Germany), November 23, 2022 - eVision Systems GmbH, authorized Prodigy Technovations distributor for Central Europe, announced its PGY-SSM-EV-Tester SD, eMMC AC/DC Electrical Validation Tester for electrical characterization of SD card...
What is a logic analyzer?
A logic analyzer is an electronic measurement device that captures and displays multiple signals from a digital design. It is an excellent tool for checking and debugging ICs, digital systems, circuits such as embedded systems, electronic control units, computers,...
eVision Systems GmbH announces innovative PCIeGen3 and 4 protocol analyzer from Prodigy Technovations
PGY-PCIeGen3/4-PA PCIe Protocol AnalyzerForstinning (Germany), October 09, 2022 - eVision Systems GmbH, the authorized distributor of Prodigy Technovations for Central Europe, announces the PGY-PCIeGen3/4-PA PCIe Protocol Analyzer, the 2.5, 5.0. 8.0 and 16GT/S speeds...
The 10 biggest problems with the development using the I3C bus system
Developers of end devices and embedded systems, especially for use in IoT (Internet of Things), automotive and industrial automation, are faced with ever-increasing demands for low power consumption, data bandwidth, and miniaturization. To meet them, the embedded...
Riviera-PRO supports OpenCPI for heterogeneous embedded computing
Aldec supports the Open Component Portability Infrastructure (OpenCPI) with the latest version of Riviera-PRO (version 2022.04).
Agnisys announces ISO 26262 and IEC 61508 qualification for entire automation process in SoC specification
Developers of safety-related electrical/electronic systems in motor vehicles can now use Agnisys solutions without additional tool qualification
FPGA Design – Verification Code, Functional and Specification Coverage
Functional coverage is often mentioned together with constrained-random verification, which is a great combination.
Randomization – The Why, When, What & How
Randomization is very important for modern verification. Still, very few designers apply randomization sufficiently in their testbenches.
FPGA Verification Architecture Optimization with UVVM
How to make a simple, well-structured, and efficient testbench using the open-source Universal VHDL Verification Methodology (UVVM) architecture.