跳到正文
热点事件持续更新

实测发现VHDL标准浮点包ieee.float_pkg大量舍入错误并报告工作组

1 篇报道1 个报道来源2 小时前更新

先了解这件事

AI 综述

一位开发者(lmtlssssss)以精确算术为参照,系统测试了 IEEE Std 1076-2008/2019 标准浮点包 ieee.float_pkg,发现 sqrt、mac、resize、reciprocal、scalb 等运算在多种舍入风格下返回未正确舍入的结果,部分 resize 调用甚至导致模拟器崩溃。其在 GHDL 7.0.0-dev 与 NVC 1.23.1 两个模拟器上的结果一致,并提交了补丁。 该发现于 2026 年 11 月 13 日报告给 IEEE P1076 工作组(VHDL-Issues#388)并同步提交至 ghdl/ghdl#3486、nickg/nvc#1758 和 FPHDL/fphdl#4。测试未覆盖 remainder、modulo、logb、nextafter、比较运算、与 real 和定点数的转换、文本输入输出、单次调用中不同格式的操作数,以及 check_error 为 false 的情况。

AI 根据报道生成 · 1 小时前更新

报道时间线

沿着报道,了解事件的不同侧面。

11月15日
  1. Hacker News
    作者实测发现 VHDL 标准 ieee.float_pkg 大量舍入错误并提交补丁

    作者以精确算术为参照,实测 IEEE Std 1076-2008/2019 的 ieee.float_pkg(源码 5,712 行,GHDL 7.0.0-dev 与 NVC 1.23.1 结果一致),发现 sqrt、mac、resize、reciprocal、scalb 等运算在多种舍入风格下返回未正确舍入的结果,部分 resize 调用甚至使模拟器崩溃。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。