dpi-c的一个例子

Posted 2023-03-28

参考技术A c程序文件名float_function.c

sv程序文件名dpi_test.sv

vcs执行命令
vcs -full64 -sverilog -R float_function.c dpi_test.sv

说明一下这个例子。
sv的rm中有时需要调用C的程序，但是sv和c的数据类型不是完全一一对应的。
sv中用到最多的数据类型是bit[31:0]，bit[15:0]等bit向量型数据，但C中没有对应的数据类型。
现在在sv要实现一个功能，是2^x，其中x是浮点数，返回值也是浮点数，但是在sv里的浮点数是IEEE754里的数据格式，不是0.5，而是32‘h3f00_0000(以单精度为例)，即验证环境里的数据是bit[31:0]类型数据根据IEEE754来表示浮点数。
现在打算用c中的库函数pow，但是这个函数的输入输出类型是double，比如输入0.5，输出1.414214，如果直接将sv中的32‘h3f00_0000入C的pow程序，显然pow会把这个数当成很大的一个数。
如何实现转换呢？这里我通过采用C中的联合类型的数据结构，因为sv中德数据已经是32bit的数据形式了，在C中，int型数据是32bit的，所以我在C程序中实现一个intpowtwo的函数，输入输出都是int型，即32bit的数据，在测试程序中，在这个函数里的声明两个UFLOAT型变量，分别处理输入和输出数据的格式转换。从而得到了我想要的结果。