SystemVerilog向DPI-C函数传递负浮点数的异常问题排查

你的代码出现错误的核心原因是无符号类型与有符号类型运算时的类型转换规则：

• bit 是SystemVerilog中的无符号单比特类型，当你用 a[5]（无符号的1'b1）和 -1（有符号int类型）相乘时，SystemVerilog会将有符号的 -1 转换为无符号整数，其值为 4294967295（32位无符号的最大值）。
• 相乘结果为 1 * 4294967295 = 4294967295，加上后续小数部分的 0.9375，最终得到 4294967295.93750，这和你预期的负数结果完全不符。

另外你提到尝试用 $rtoi 处理小负数得到0，是因为 $rtoi 会直接截断小数部分，-0.03125 截断后就是0，这种方法不适合处理小幅度的负小数。

针对符号-幅度编码的6位数据（最高位为符号位，后5位为小数位），可以通过以下两种方式修正计算：

方法1：显式处理符号位的有符号逻辑 #

将符号位判断后直接赋予实数符号值，避免无符号与有符号的运算冲突：

bit [5:0] a;
real      b;

// 符号位为1时取-1.0，否则取0.0，再加上小数部分的和
b = (a[5] ? -1.0 : 0.0) + (a[4] * 0.5) + (a[3] * 0.25) + (a[2] * 0.125) + (a[1] * 0.0625) + (a[0] * 0.03125);
`uvm_info(get_name(), $sformatf("value of b is: %.5f", b), UVM_MEDIUM)

当 a = 6'b111110 时，计算结果为 -1.0 + 0.9375 = -0.0625（如果你的预期是 -0.03125，需要检查你的编码规则或输入值是否正确）。

方法2：利用有符号类型转换整体计算 #

如果你的6位数据是补码编码，可以将其转换为有符号整数后再缩放为实数：

bit [5:0] a;
real      b;
int signed a_signed;

a_signed = $signed(a); // 将无符号bit数组转为有符号整数
b = $itor(a_signed) / 32.0; // 除以2^5（5位小数位的缩放因子）
`uvm_info(get_name(), $sformatf("value of b is: %.5f", b), UVM_MEDIUM)

比如 a = 6'b111111（补码的-1），计算结果为 -1/32 = -0.03125，这可能是你预期的对应输入值。

当向DPI-C函数传递负浮点数时，只要SystemVerilog侧的real值正确，直接传递即可——DPI-C中用double类型接收real参数，正负浮点数的表示是兼容的，不需要额外处理。

内容的提问来源于stack exchange，提问作者sen_eng_23