Abstract:In this paper,we present Generic System Verilog Universal Verification Methodology based Reusable Verification Environment for efficient verification of Image Signal Processing IP's/SoC's. With the tight schedules on all projects it is important to have a strong verification methodology which contributes to First Silicon Success. Deploy methodologies which enforce full functional coverage and verification of corner cases through pseudo random test scenarios is required. Also, standardization of verification flow is needed. Previously, inside imaging group of ST, Specman (e)/Verilog based Verification Environment for IP/Subsystem level verification and C/C++/Verilog based Directed Verification Environment for SoC Level Verification was used for Functional Verification. Different Verification Environments were used at IP level and SoC level. Different Verification/Validation Methodologies were used for SoC Verification across multiple sites. Verification teams were also looking for the ways how to catch bugs early in the design cycle? Thus, Generic System Verilog Universal Verification Methodology (UVM) based Reusable Verification Environment is required to avoid the problem of having so many methodologies and provides a standard unified solution which compiles on all tools. The main aim of development of this Generic and automatic verification environment is to develop an efficient and unified verification environment (at IP/Subsystem/SoC Level) which reuses the already developed Verification components and also sequences written at IP/Subsystem level can be reused at SoC Level both with Host BFM and actual Core using Incisive Software Extension (ISX) and Virtual Register Interface (VRI)/Verification Abstraction Layer (VAL) approaches. IP-XACT based tools are used for automatically configuring the environment for various imaging IPs/SoCs.

Specification and Verification of Uplink Framework for Application of Software Engineering using RM-ODP

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

Verification Framework for UML-Based Design of Embedded Systems.

Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow

Specifying Data Bases Management Systems by Using RM-ODP Engineering Language

A comprehensive survey of UPPAAL‐assisted formal modeling and verification

Model-Based Design and Verification of Automotive Electronics Compliant with Osek/Vdx

A Relational Model for Formal Object-Oriented Requirement Analysis in UML

Smartosek Based Design And Verification For In-Vehicle Network System: A Model-Based Approach

Architecture of a Post-Opc Silicon Verification Tool

360138 MODELING RAILWAY SIGNALLING CONTROL SOFTWARE WITH OBJECT-BASED ARCHITECTUR(Signal,Technical Session)

A Model-Driven Engineering Methodology to Design Parallel and Distributed Embedded Systems

Generic System Verilog Universal Verification Methodology based Reusable Verification Environment for Efficient Verification of Image Signal Processing IPs/SoCs

Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification

Addressing Control Challenges in Vehicular Networks through O-RAN: a Novel Architecture and Simulation Framework

Formal Analysis of Non-functional Properties for a Cooperative Automotive System

An OMA DM Based Framework for Updating Modulation Module for Mobile Devices

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

Engineering Requirements With Desiree: An Empirical Evaluation

Early Development of UVM based Verification Environment of Image Signal Processing Designs using TLM Reference Model of RTL

Vérification d'assemblages de composants logiciels : Application aux modèles de composants UML2.0 et Ugatze