Передача структур C через слой SystemVerilog DPI-C - PullRequest
Новая
       85

Передача структур C через слой SystemVerilog DPI-C

0 голосов
/ 15 мая 2018

В SystemVerilog LRM есть несколько примеров, показывающих, как передавать структуры в SystemVerilog в \ из C через слой DPI-C. Однако, когда я пробую свой собственный пример, он, кажется, не работает вообще в симуляторе Incisive или Vivado (он работает в ModelSim). Я хотел знать, делаю ли я что-то не так, или это проблема с симуляторами. Мой пример выглядит следующим образом: 

#include <stdio.h>

typedef struct {
               char f1;
               int f2;
} s1;

void SimpleFcn(const s1 * in,s1 * out){
    printf("In the C function the struct in has f1: %d\n",in->f1);
    printf("In the C function the struct in has f2: %d\n",in->f2);
    out->f1=!(in->f1);
    out->f2=in->f2+1;    
}

Я скомпилировал приведенный выше код в общую библиотеку: 

gcc -c -fPIC -Wall -ansi -pedantic -Wno-long-long -fwrapv -O0 dpi_top.c -o dpi_top.o
gcc -shared -lm dpi_top.o -o dpi_top.so

И код SystemVerilog: 

`timescale 1ns / 1ns
typedef struct {
               bit f1;
               int f2;
               } s1;

import "DPI-C" function void SimpleFcn(input s1 in,output s1 out);

module top();
  s1 in,out;
  initial
    begin    
    in.f1=1'b0;  
    in.f2 = 400;
    $display("The input struct in SV has f1: %h and f2:%d",in.f1,in.f2);
    SimpleFcn(in,out);
    $display("The output struct in SV has f1: %h and f2:%d",out.f1,out.f2);
 end

endmodule

В Incisive я запускаю его, используя irun: 

irun -sv_lib ./dpi_top.so -sv ./top.sv

Но это SegV.

В Vivado я запускаю его, используя 

xvlog -sv ./top.sv 
xelab top -sv_root ./ -sv_lib dpi_top.so -R

Работает нормально, пока не выйдет из симуляции, затем произойдет повреждение памяти: 

Vivado Simulator 2017.4
Time resolution is 1 ns
run -all
The input struct in SV has f1: 0 and f2:        400
In the C function the struct in has f1: 0
In the C function the struct in has f2: 400
The output struct in SV has f1: 1 and f2:        401
exit
*** Error in `xsim.dir/work.top/xsimk': double free or corruption (!prev): 0x00000000009da2c0 ***

1 Ответ

0 голосов
/ 15 мая 2018

Вам повезло, что это сработало в Modelsim. Ваш прототип SystemVerilog не соответствует вашему прототипу C. У вас есть f1 как byte в C и bit в SystemVerilog.

Modelsim / Questa имеет ключ -dpiheader, который создает заголовочный файл C, который вы можете #include добавить в файл dpi_top.c. Таким образом, вы получаете ошибку компилятора, когда прототипы не совпадают, вместо непредсказуемой ошибки времени выполнения. Это прототип C для вашего кода SV. 

typedef struct {
    svBit f1;
    int f2;
}  s1;

void SimpleFcn(
    const s1* in,
    s1* out);

Но я бы порекомендовал придерживаться C-совместимых типов в SystemVerilog.

...