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

2212 Results

  • Exercising State Machines with Command Sequences

    Almost every non-trivial design contains at least one state machine, and exercising that state machine through its legal states, state transitions, and the different reasons for state transitions is key to verifying the design’s functionality. In some cases, we can exercise a state machine simply as a side-effect of performing normal operations on the design.

  • Designing A Portable Stimulus Reuse Strategy

    The PSS language was designed with the requirements of test intent reuse, and automated test creation in mind. The requirement to allow test intent to be reused across a variety of very different platforms drove the PSS language to enable a clean and clear distinction between test intent and test realization, as shown in Figure 1. In a PSS description, test intent specifies the high-level view of what behavior is to be exercised.

  • Don’t Forget the Protocol! A CDC Protocol Methodology to Avoid Bugs in Silicon

    In this article, we will discuss the difficulties encountered with traditional CDC protocol verification methodologies and present a complete methodology to overcome the current challenges.

  • UVMC 2.3.2 Library

    v2.3.2 The UVM Connect library provides TLM1 and TLM2 connectivity between SystemC and SystemVerilog models and components. It also provides a UVM Command API for accessing and controlling UVM simulation from SystemC (or C or C++). This document provides a user guide to the UVM-Connect API package itself as well as a primer on TLM-2.0 usage in general.

  • UVM Connect 2.3.2 Kit

  • UVM Connect 2.3.2 Primer

  • UVM Connect 2.3.2 Primer

  • UVM Connect 2.3.2 HTML

  • UVM Connect 2.3.2 Primer

  • Formal Property Checking

    Questa Property Checking (PropCheck) supports general assertion-based formal verification to ensure that the design meets its specific functional requirements.

  • Questa PropCheck GUI - Overview

    In this session, you will be shown a top level overview of the Questa PropCheck GUI.

  • Questa PropCheck GUI - Cone of Influence

    In this session, you will learn more about the Cone of Influence window features.

  • Questa PropCheck GUI - Debug a Firing

    In this session, you will learn how to debug a firing in the GUI.

  • Questa PropCheck GUI - Properties Tab

    In this session, you will learn some of the features of the properties tab.

  • Questa PropCheck GUI - Property Editor

    In this session, you will learn features of the property editor.

  • Questa PropCheck GUI - Run Monitor/Details

    In this session, you will learn how to rerun Formal in the GUI.

  • Questa PropCheck GUI - Schematic

    In this session, you will learn how to use the schematic view.

  • Questa PropCheck GUI - Source Window

    In this session, you will learn how to use the source window.

  • Questa PropCheck GUI - Waveform View

    In this session, you will learn more about the waveform view.

  • Questa PropCheck GUI - Run Formal

    In this session, you will learn how to run Formal from the PropCheck GUI.

  • Why RDC Verification is an Emerging Requirement

    In this session, you will learn what Reset-Domain Crossing (RDC) covers that Clock-Domain Crossing (CDC) does not and the appropriate time in the development cycle to deploy RDC.

  • Why RDC Verification is an Emerging Requirement

    In this session, you will learn what RDC covers that CDC does not and the appropriate time in the development cycle to deploy RDC.

  • Questa SLEC Fact Sheet

    The Questa SLEC app uses formal analysis to exhaustively compare two blocks of RTL code, identifying any differences in the output behavior of the two designs for all inputs, and for all time.

  • Stimulus and Analysis Data Flow

    In this session, you will be given an overview of the stimulus and analysis flow within the UVM Framework.

  • Stimulus and Analysis Data Flow