Search Results

Filters
Reset All

Filters

Topic

Show More

Show Less

Content Type

Show More

Show Less

Audience

Resource Type

Show More

Show Less

Tags

Show More

Show Less

2072 Results

  • Bounded Existence Property

    The Bounded Existence Property Pattern is used to specify portions of a model’s verification execution that contains at most a specified number of instances of designated state transitions or events.

  • Existence Property

    The Existence Property Pattern is used to specify portions of a design model’s verification execution that contains an instance of a certain state or event1. Also known as Eventually or Future .

  • Absence Property

    The Absence Property Pattern is used to specify portions of a design model’s verification execution where a specific state or event1 should never occur. Also known Never .

  • Layering Sequence

    The layering sequence pattern is applicable to any situation where sequences are available that use one sequence_item but must transformed to another sequence_item to be executed on a target sequencer.

  • Utility

    Encapsulate small, useful functionality in a portable, easy-to-use object.

  • Façade

    A façade pattern provides a simple interface to a complex system, making it easier for the client or external world to use.

  • BFM-Proxy Pair

    The BFM-Proxy Pair Pattern is an Environment Pattern to facilitate the design of transactors like drivers and monitors for dual domain partitioned testbenches that can be used for both simulation and emulation, and across verification engines (or platforms) in general.

  • Verification IP Stimulus APIs - Are They Really Easy to Use?

    With the increasing complexity of system designs, there is a pressing need for standalone, pre-verified, built-in verification infrastructures. Verification IP (VIP) is an integral and important component of these infrastructures for block and system-level verification as they reduce cycles spent in verifying complex designs.ly Easy to Use?

  • Verification IP Stimulus APIs - Are They Really Easy to Use?

    Stimulus generation is an important aspect of verification for creating both simple and complex scenarios used to hit functional bugs in a design. Stimulus generation application program interfaces (API) in VIP help you write stimulus without much protocol knowledge and help them create complex protocol scenarios for testing.

  • Patterns Library

    The Verification Academy Patterns Library contains a collection of solutions to many of today's verification problems. The patterns contained in the library span across the entire domain of verification (i.e., from specification to methodology to implementation—and across multiple verification engines such as formal, simulation, and emulation).

  • Leveraging Verification IP (VIP) for Fast & Efficient Verification

    In this session you will learn how Verification IP (VIP) helps to overcome IP verification challenges.

  • UVM Framework – Create a UVM Environment in Less than an Hour

    In this session you will learn how the UVM Framework delivers reuse from block to chip to system in simulation and emulation and how to reduce your verification schedule by at least four weeks on every project.

  • Leveraging Verification IP (VIP) for Fast & Efficient Verification

    In this session you will learn how Verification IP (VIP) helps to overcome IP verification challenges.

  • UVM Framework – Create a UVM Environment in Less than an Hour

    In this session you will learn how the UVM Framework delivers reuse from block to chip to system in simulation and emulation and how to reduce your verification schedule by at least four weeks on every project.

  • Technical Paper: A New Stimulus Model for CPU Instruction Sets

  • UVM Forum - All Slides

  • UVM Forum Seminar - 2015: UVM Enabled Advanced Storage IP Silicon Success

  • UVM and Emulation - Easing the Path to Advanced Verification and Analysi

  • Automating Scenario-Level UVM Tests with Portable Stimulus

    In this session, you will learn how to easily leverage lower-level descriptions, such as sequence items, in larger scenarios and efficiently and predictably exercise the scenario space, ensuring high quality verification results.

  • UVM Forum Seminar - 2015: Improving UVM Testbench Debug Productivity and Visibility

  • Creating UVM Testbenches for Simulation & Emulation Platform Portability

    In this session, you will learn the fundamentals of hardware-assisted testbench acceleration.

  • UVM Forum Seminar - 2015: UVM Technology Overview

  • UVM Forum Seminar - 2015: UVM Everywhere: Industry Drivers, Best Practices, and Solutions

  • ISO 26262 Fault Analysis – Worst Case is Really the Worst

    Imagine you’re a verification engineer being asked to get a small 10K gate design ISO 26262 certified. Assuming you don’t take the smart decision to quit your job, what would be your first step? If you would have been asked to do plain functional verification of the design, it is obvious you would start by reading the DUT spec.

  • Memories Are Made Like This

    One of the most common requirements for the verification of a chip, board or system is to be able to model the behavior of memory components, and this is why memory models are one of the most prevalent types of Verification IP (VIP).