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.

A Universal Framework of Dual-Use Model for Both Performance and Functionality Based on the Abstract State Machine

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.

A Model Driven Approach for Device Driver Development.

Model-based Runtime Verification Framework

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

Synchronous Integration Method of System and Simulation Models for Mechatronic Systems Based on SysML

Parallel Verification of Software Architecture Design

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

A MDA based SoC Modeling Approach using UML and SystemC

A State-Behavior-Function Based Approach for Functional Modeling of Multi-State Systems and Its Application

A Unified Modeling and Verifying Framework for Cyber Physical Systems

A Uml-Based Environment For Software Testing And Verification

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

A Fault Injection and Formal Verification Framework Based on UML Sequence Diagrams

Design Strategy for Embedded CNC Model Verification

A Hybrid Approach to System Verification in Early Design for Complex Mechatronic Systems Based on Formal Functional Semantics

A Novel Intelligent Verification Platform Based on a Structured Analysis Model.

BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development

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

A RISC CPU oriented reusable functional verification platform based on UVM