实测发现VHDL标准浮点包ieee.float_pkg大量舍入错误并报告工作组
热点事件持续更新
实测发现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日 01:58
作者实测发现 VHDL 标准 ieee.float_pkg 大量舍入错误并提交补丁报道时间线
沿着报道,了解事件的不同侧面。
11月15日
- 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 调用甚至使模拟器崩溃。
本事件热度走势
还没有足够的连续观测数据,暂不绘制趋势。