Djordje Velickovic and Katarina Bozinovic, Verification Engineers at Veriest’s Nis office,
have authored a paper comparing different approaches to C model integration in functional verification. The paper was presented at DVCon Europe 2024.
Abstract – This paper describes two popular approaches for usage of a code written in C language in functional verification process. These 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 a short overview of their implementations and compares their performance through a case study set on an exemplary design. It also gives comparative analysis between these two approaches in terms of effort, range of suitability for different design cases, reusability and integrability. The goal of the paper is to help and guide verification engineers in choosing the most appropriate method of C model integration into their verification environment, for their specific needs.
The paper provides a comprehensive comparison of two widely-used methodologies in functional verification, offering practical insights for verification engineers facing C model integration decisions. Through detailed case studies and performance analysis, the authors present clear guidelines for selecting the most suitable approach based on specific project requirements.
Functional Verification Using C Model, DPI-C VS Static Value Tables