Abstract:In the dynamic fields of semiconductor design and digital system development, effective verification procedures are in high demand. In particular, functional verification is essential for space systems to guarantee mission success, prevent errors in intricate environments, and uphold the reliability vital for effective space exploration. Testing phase results extremely challenging because of the high complexity of systems, often due to the intricate interplay of hardware, software, and environmental factors, impeding comprehensive validation. This paper presents an innovative methodology for the functional verification of systems involved in space telecommunications: this is based on the development and integration of software Twin Models within advanced and automated verification environments, with the dual purpose of simplifying the stimulation of the Design Under Test (DUT) and producing instant-by-instant expected behavior. The proposed solutions are developed in SystemVerilog Hardware Verification Language (HVL) and are fully compliant with Universal Verification Methodology (UVM) standard. As proof of the effectiveness and applicability of this approach, examples of verification environments for different systems are given, including high-speed interfaces, such as SpaceWire (SpW) CODECs, and high-speed encoders and modulators for both Direct-to-Earth and inter-satellite communications applications. A test campaign was conducted for all these systems, and using the Twin Models made it possible to achieve 100% of both functional and code coverage. The final result is a significant simplification in the creation of tests and DUT debugging and a very highly flexible, self-checking, and automated verification environment able to test any possible DUT configuration efficiently.

Functional Verification of UART Module Based on SystemVerilog

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

Functional Verification of a Multi-Protocol Serial Communication Controller with Eight Channels

Functional Verification for Universal Serial Interface IP Core

Formal Verification Technology for Asynchronous Communication Protocol

Research and Implementation of a Generic Reconfigurable Bus Interface-Based Verification Platform

Design of UART Based on Verilog HDL

Fpga-Based In-Circuit Verification of Digital Systems

Verification Framework for UML-Based Design of Embedded Systems.

Co-emulation Verification System Based on UVM Architecture.

An Intelligent and Reusable Verification Platform Based on Uvm for Rfid Digital Baseband

OSVAuto: semi-automatic verifier for functional specifications of operating systems

Research of GSTE-Based Verification on UART

A Survey of Formal Techniques for Hardware/Software Co-verification

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

Design of Efficient and Reusable SoC Verification Platform for USIM Card

Code Formal Verification of Operation System

Survey of Formal Design and Verification for Operating System

Integration of Twin Models in UVM Verification IPs for Space Telecommunication Systems

Hierarchical Formal Verification Method based on Transactions

A Simulation-Based Verification Method for SoC Bus System