Verilog PLI Reference Manual

ここからダウンロードできました。
当然英語ですが、各関数についてサンプルのソースも記述されているので、参考になりそうです。

ModelSimでPLI

ModelSim-Alteraで、Verilog PLIを使用してみました。
Cのコンパイルには、MinGWを使用しました。
Cygwinのgccコンパイラではエラーになるので注意してください。

C言語とVerilogのコードを用意します。
"Hello, World!"と表示する関数helloを、タスク$helloに登録しています。
それぞれ、hello.cとhello.vという名前で保存します。

C

#include 
#include "veriuser.h"

void hello() {
  io_printf("Hello, World!\n");
}

s_tfcell veriusertfs[] = {
  {usertask, 0, 0, 0, hello, 0, "$hello"},
  {0}
};

Verilog

module hello;
    initial begin
        $hello;
        #1 $finish;
    end
endmodule

hello.cはgccでコンパイルし、hello.dllを作成します。
gcc -c -I<ModelSim directory>/include hello.c
gcc -shared -Bsymbolic -o hello.dll hello.o -L<ModelSim directory>/win32aloem -lmtipli


hello.vをコンパイルし、vsim実行時に-pliオプションでhello.dllを指定します。
vlib work
vlog hello.v
vsim -c -pli hello.dll -do "run 1 us" hello


"Hello, World!"と表示されます。