c - 如何使用 SV-DPI 将数组从 C 传递到 SV？

Question

我的目标是将数组从 C 传递到 SV 并在 SV 中打印数组内容，我尝试了以下 C 程序将一些文本文件(data_file.txt)(在下面的链接中给出了完整源代码)转换为数组并尝试使用 SystemVeilog(SV) 中的 DPI 调用读回数组，在“C”中，我已将数组值传递给主函数内部的函数(mydisplay)。(如果我在这里错了，请纠正我) )而且数组值似乎没有读回 SV 环境，正如我所期望的可能是什么原因，是否有一种有效的方法可以在 SV 中取回数组？

c代码:

 void mydisplay(svOpenArrayHandle h) {
  int *a; 
  a =(int*)svGetArrayPtr(h);
  for( i=0;i<idx;i++) {
    io_printf("C: values[%2zu]=0x%02x\n",i,values[i]);
    a[i] = values[i];
    }   
  }   

sv代码:

program automatic top; 
   int a[32000];
   import "DPI-C" function void mydisplay(inout int h[]);
   initial begin
      mydisplay(a);
      foreach(a[i]) $display("SV after DPI: a[%0d]=%0d",i,a[i]);
   end 
endprogram

来源:EDAplayground

Answer 1

经过一些试验，我终于找到了解决方案，并且能够通过一个小调整将处理后的文本数据从 C 传递到 SV，我只是导入了一个函数，并使用 SV-DPI 中已有的上下文方法调用导出的函数根据 LRM，也仅使用用户定义的函数并从 native “C”语言中删除了 main。这样我就能够读回从 C 到 SV 的数组值中的值，在代码示例下方提供，更新的代码在EDAPlayground

C 代码:

#include <stdio.h>
#include <stdlib.h> /* for strtol               */
#include <string.h> /* for strchr               */
#include <limits.h> /* for INT_MIN/INT_MAX      */
#include <errno.h>  /* for errno                */
extern int dV(int r);

#define MAXL 50000

unsigned long xstrtoul (char *p, char **ep, int base);

int mydisplay() 
{
    int v[15];
    int sd;
    int d;
    FILE *fp = fopen ("data_file.txt", "r");
    char line[MAXL] = {0};
    unsigned values[MAXL] = {0};
    int base = 16;
    size_t i, idx = 0;

    if (!fp) { /* validate file open */
        fprintf (stderr, "error: file open failen '%s'.\n", fp);
        return 1;
    }

    /* read each line in file (up to MAXL chars per-line) */
    while (fgets (line, MAXL, fp)) {

        char *p = line;
        char *ep = p;
        char digits[3] = {0};
        errno = 0;

        /* convert each string of digits into number */
        while (errno == 0) {

            /* skip any non-digit characters */
            if (!(p = strchr (p, 'x'))) break;
            strncpy (digits, ++p, 2);
            digits[2] = 0;  /* nul-terminate */

            /* convert string to number */
            values[idx++] = (unsigned)xstrtoul (digits, &ep, base);

            if (errno || idx == MAXL) {   /* check for error */
                fprintf (stderr, "warning: MAXL values reached.\n");
                break;
            }
            p += 2;
        }
    }
    if (fp != stdin) fclose (fp);

    /* print results */
    for (i = 0; i < idx; i++)
    {
        printf ("C values[%2zu] : 0x%02x\t", i, values[i]);
        v[d]=values[i];
        sd = dV(v[d]);
     }
return(sd);
}

/** string to unsigned long with error checking */
unsigned long xstrtoul (char *p, char **ep, int base)
{
    errno = 0;

    unsigned long tmp = strtoul (p, ep, base);

    /* Check for various possible errors */
    if ((errno == ERANGE && (tmp == ULONG_MAX)) ||
        (errno != 0 && tmp == 0)) {
        perror ("strtoul");
        exit (EXIT_FAILURE);
    }

    if (*ep == p) {
        fprintf (stderr, "No digits were found\n");
        exit (EXIT_FAILURE);
    }

    return tmp;
}

SV代码:

program automatic top();
int res;

import "DPI" context mydisplay= function int mD();
export "DPI" dV =function mydisplay;

function int mydisplay(input int xyz);
  $display ("SV after DPI: %0d\n",xyz);
  return -1;
endfunction

initial begin
  #5 res=mD();
  $display("Finished reading values...\n");
end

endprogram