The VHDL standard's float package gets sqrt(2) wrong

The first link in the post doesn’t seem to be valid (on my iPhone at least). Maybe it is an issue of mobile safari not wanting to open… a vhdl blob, though? Maybe double check that, a link to their main page could be more useful. [edit, it seemed to work the second time, I dunno, maybe it was just a temporary issue, sorry!]

Also, it looks like in the last six minutes (as of me writing this post) the README was updated with an intro that starts thing off with a better high-level description of what’s going on. I think the write-up could still use some work. But it isn’t entirely useless, really, this sort of library should be fully correct, down to the ULP, it is quite foundational after all.

My god this is utterly unreadable for humans.

... by one ULP. Anyway I don't think anyone is just feeding a raw sqrt into their synthesiser.

[dead]

Thank you, Claude, for this write up that seems to be for Claude.