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

Allen Baum allen.baum at esperantotech.com
Mon Jul 15 05:43:50 BST 2019


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