Abstract:Unlike data packets governed by specific protocols, the data stream of input and output ports in signal processing blocks within chips lacks flags such as start and end, hindering individual data packet comparison during verification. A protocol-agnostic data stream verification framework based on the universal verification methodology (UVM) is proposed. Two-stage comparison is employed to match the outputs of the reference model and the design under test (DUT), enabling real-time comparison of the protocol-agnostic data stream. The stimulus generator operates independently outside the UVM environment, delivering stimuli to the DUT through a generic data interface. Featuring high-level abstraction and easy scalability, this framework is suited for complex scenarios with multi-module cascading. Finally, it facilitates the construction of a digital down converter (DDC) verification platform, and running on an Intel Core i7-8086K processor with 6 cores, achieved comparison of all module data streams in just 9 seconds. Moreover, this platform has also been extended to other different digital designs, all completing verification at a rapid pace.

A Coverage-driven Method to Construct Verification Environment

A System Verification Environment for Mixed-Signal SOC Design Based on IP Bus

Functional Verification of EPA Chip

Coverage-directed Functional Verification Methodology for WTB Controller

A Verification Methodology for Reusable Test Cases and Coverage Based on System Verilog

A Generic UVM Verification Framework Based on Two-Stage Comparison for Protocol-Agnostic Data Streams in Digital Designs

Combinational Equivalence Checking Based on Circuit Topology Analysis

Effective code coverage in compositional systematic dynamic testing

A Simulation-Based Verification Method for SoC Bus System

The Research and Implement of an Advanced Function Coverage Based Verification Environment

A Function Verification Method Based on the Models at Test Case Level

Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans

Collaborative Verification Scheme for System Functional Properties

A Simulation Method to Verify Control Programs for a UPS System

Development of a Function Verification Testbench of an ⅡC Bus Interface Based on OpenVera

Automatic Generation of High-Coverage Tests for RTL Designs using Software Techniques and Tools

Implementation of 1553B Bus Interface SoC Verification Platform

Novel Test Analysis To Improve Structural Coverage -A Commercial Experiment

Function Verification of Interface IP Core Based on the Restricted Random Test Bench

Hierarchical Formal Verification Method based on Transactions

Novel Method of Control Flow and Structural Coverage Measurement for Object Code Verification