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

Jacob Lifshay programmerjake at gmail.com
Mon Jul 15 05:46:52 BST 2019


it handles (if I'm reading the right part of the docs):
half
single
double
quad
double-extended (80-bit?)
double-double
double-double-double


On Sun, Jul 14, 2019, 21:43 Allen Baum <allen.baum at esperantotech.com> wrote:

> Does it handle DP as well as SP?
>
> -Allen
>
> > On Jul 14, 2019, at 8:00 PM, Jacob Lifshay <programmerjake at gmail.com>
> wrote:
> >
> > I found a project that is designed for building implementations of
> > math operations compliant to the IEEE 754 spec:
> > http://www.metalibm.org/ (kinda successor to crlibm)
> >
> > From what I can tell, it supports converting a mathematical expression
> > (on real numbers) to a implementation of that expression in code that
> > produces results matching IEEE 754 along with a proof of correctness.
> >
> > This looks like it would be ideal for verifying frsqrt implementations
> > along with other math operations.
> >
> > Jacob
> >
> > --
> > You received this message because you are subscribed to the Google
> Groups "RISC-V ISA Dev" group.
> > To unsubscribe from this group and stop receiving emails from it, send
> an email to isa-dev+unsubscribe at groups.riscv.org.
> > To view this discussion on the web visit
> https://groups.google.com/a/groups.riscv.org/d/msgid/isa-dev/CAC2bXD42h4wKEetVY%3DoPwSV_iaOGZ6hU1t9MqMGNqo45JWRxUg%40mail.gmail.com
> .
>


More information about the libre-riscv-dev mailing list