Download PDFOpen PDF in browser

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

EasyChair Preprint 14908

7 pagesDate: September 16, 2024

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

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@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}}
Download PDFOpen PDF in browser