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

2215 Results

  • Technical Paper: Achieving Functional Safety for Autonomous Vehicle SoC Designs

  • Why Hardware Emulation Is Necessary to Verify Deep Learning Designs

    There is no doubt that computers have changed our lives forever. Still, as much as computers outperform humans at complex tasks such as solving complex mathematical equations in almost zero time, they may underperform when solving what humans can do easily — image identification, for instance. Anyone in the world can identify a picture of a cat in no time at all. The most powerful PC in the world may take hours to get the same answer.

  • Deadlock Prevention Made Easy with Formal Verification

    You are about to go into a planning meeting for a new project when you get a call from one of your company’s Customer Advocate Managers: a product that you worked on just started shipping in volume, and there are a growing number of field reports that the system randomly freezes-up after a few weeks in operation. While a soft reset “works,” it will run anywhere from 5 to 10 days before it has to be rebooted again.

  • 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.