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

lkcl luke.leighton at gmail.com
Mon Jul 15 06:03:21 BST 2019


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.


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.


More information about the libre-riscv-dev mailing list