Functional Verification Using C Model: DPI-C VS Static Value Tables

EasyChair Preprint 14908

Abstract

This paper describes two popular approaches for usage of a code written in C language in functional verification process. Those approaches are integration of C model using DPI-C System Verilog function and usage of static and pre-generated in/out C model value tables. The paper gives details about their implementations and compares their performance through a case study set on an example design. It also gives comparative analysis between these two approaches in terms of effort, range of suitability for different design cases, reusability and integrability.

Keyphrases: DPI-C, Functional Verification, System Verilog, UVM

@booklet{EasyChair:14908,
  author    = {Djordje Velickovic and Katarina Bozinovic},
  title     = {Functional Verification Using C Model: DPI-C VS Static Value Tables},
  howpublished = {EasyChair Preprint 14908},
  year      = {EasyChair, 2024}}