[libre-riscv-dev] FP unit testing (was Re: [isa-dev] FP reciprocal sqrt extension proposal)
programmerjake at gmail.com
Mon Jul 15 05:46:52 BST 2019
it handles (if I'm reading the right part of the docs):
On Sun, Jul 14, 2019, 21:43 Allen Baum <allen.baum at esperantotech.com> wrote:
> Does it handle DP as well as SP?
> > On Jul 14, 2019, at 8:00 PM, Jacob Lifshay <programmerjake at gmail.com>
> > 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
More information about the libre-riscv-dev