作者实测发现 VHDL 标准 ieee.float_pkg 大量舍入错误并提交补丁
The VHDL standard's float package gets sqrt(2) wrong
AI 导读
作者以精确算术为参照,实测 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 调用甚至使模拟器崩溃。
来源:Hacker News · github.com