[libre-riscv-dev] FP unit testing (was Re: [isa-dev] FP reciprocal sqrt extension proposal)

[lkcl]

https://github.com/kalray/metalibm/blob/master/metalibm_functions/ml_isqrt.py

Fascinating. It's a code generator / compiler. With the IEEE754 arithmetic algorithms encoded as python objects, in an Abstract Syntax Tree, that may be handed to any code-generator backend.

Wow.

So there is no reason why, for example, a Chisel3 backend should not be created.

Or a verilog one.

Or a nmigen one.

That would basically AUTOGENERATE the RTL needed to be conformant with the IEE754 spec in any one of the required algorithms.

It is also quite likely to be able to autogenerate the unit tests as well (might need some work)

Mind you, that recip sqrt is designed to autogenerate a Newton Raphson algorithm, which some people will not be happy with.

Still, it is pretty awesome. Good find Jacob.

L.