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

1987 Results

  • Sequencer Arbitration (.tgz)

    Example showing the differences between the different sequencer arbitration algorithms.

  • Functional Coverage Metrics

    The objective of functional verification is to determine if the design requirements, as defined in our specification, are functioning as intended. But how do you know if all the specified functionality was actually implemented?

  • Datapath Example

    What is a Datapath Block? A datapath block takes an input data stream and implements a transform function that generates the output data.

  • BiQuad IIR Filter Test Plan

    As part of the verification planning process a functional coverage/test plan should be created. In the case of the BiQuad IIR filter, the primary concern is to check that it can be configured to act as a low, high and band pass filter in the audio frequency range and that it functions correctly in each of these modes.

  • Kinds of Coverage

    No single metric is sufficient at completely characterizing the verification process. For example, we might achieve 100% code coverage during our simulation regressions. However, this would not mean that 100% of the functionality was verified.

  • BiQuad IIR Filter Example Covergroups

    The functional coverage model for the BiQuad IIR filter is based on ensuring that all variations of 3 sets of variables have been checked by the stimulus: The filter type - Low Pass, High Pass and Band Pass The filter specification, in terms of the coefficients - b10, b11, b12, a10, a11 The input frequency, measured in hertz

  • Wishbone SoC Testplan

    Wishbone SoC testplan spreadsheet example (.xml)

  • WB Mac Analysis (.tgz)

  • Code Coverage Metrics

    In this section, we introduce various coverage metrics associated with a design model's implicit implementation coverage space. In general, these metrics are referred to as code coverage or structural coverage metrics.

  • APB3 Protocol Test Plan

    During the verification planning process a test plan should be created that lists the features of a design, how they are to be verified and how test closure will be achieved.

  • BiQuad Example (.tgz)

    In this class of design, the stimulus pumps data through the design datapath and compares the output against a reference model. The functional coverage is primarily about ensuring that the algorithm 'knobs' have been tested sufficiently.

  • Sequencer Grab Lock (.tgz)

    Illustrates the use of lock and grab by a sequence to gain exclusive access to a sequencer for its sequence_items.

  • Coverage

    The Coverage Cookbook describes the different types of coverage that are available to keep track of the progress of the verification process, how to create a functional coverage model from a specification and provides examples of how to implement functional coverage for different types of designs.

  • Coverage Cookbook

    The Coverage Cookbook describes the different types of coverage that are available to keep track of the progress of the verification process, how to create a functional coverage model from a specification and provides examples of how to implement functional coverage for different types of designs.

  • Interrupts - Simple (.tgz)

    Simple, single level interrupt service routine example.

  • Slave Agent with Multiple Sequence Items (.tgz)

    Example showing how to implement a reactive slave agent with phase specific sequence items.

  • Slave Agent (.tgz)

    Example showing how to implement a reactive slave agent.

  • Parameterized Virtual Interface (.tgz)

    Illustrates how to handle a parameterized virtual interface using the uvm_config_db.

  • UVM Block Level Testbench (.tgz)

    Example of a block level UVM testbench.

  • Sub-system Level Testbench (.tgz)

    Example of a sub-system UVM testbench reusing block level components.

  • OVM Kit - Deprecated

  • EF Virtual Interface Config DB (.tgz)

    Demonstrates how to implement an emulation friendly interface BFM and connect it to a UVM testbench.

  • Virtual Sequence Test Initialization (.tgz)

    Shows how to initialize the sequencer handles in a virtual sequence using a test initialization method to assign the handles.

  • Interrupts - Prioritized (.tgz)

    Illustrates how priority can be used to implement re-entrant or prioritized interrupt service routine sequences.

  • Virtual Sequence (.tgz)

    Example of a stand alone virtual sequence that uses find_all to locate target sequencers.