From: programmerjake <programmerjake@web>
Date: Mon, 6 Apr 2020 06:57:15 +0000 (+0100)
Subject: Update IEEE 754 testing/emulation section
X-Git-Tag: convert-csv-opcode-to-binary~2920
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d31b1df9a46baf3a5da570ae1a7aa09d148493f3;p=libreriscv.git

Update IEEE 754 testing/emulation section
---

diff --git a/resources.mdwn b/resources.mdwn
index bd6ae3d8c..1ac02afd4 100644
--- a/resources.mdwn
+++ b/resources.mdwn
@@ -167,17 +167,20 @@ test. It's still in development as far as I can tell.
 
 * //TODO LINK TO RISC-V CONFORMANCE TEST
 
-## IEEE 754 Tests
+## IEEE 754 Testing/Emulation
 
-IEEE 754 has no official tests for floating-point but there are several
-well-known third party tools to check such as John Hauser's SoftFloat
-and TestFloat.
+IEEE 754 has no official tests for floating-point but there are
+well-known third party tools to check such as John Hauser's TestFloat.
+
+There is also his SoftFloat library, which is a software emulation library for IEEE 754.
 
 * <http://www.jhauser.us/arithmetic/>
 
-Jacob is also making a Rust library to check IEEE 754 operations.
+Jacob is also working on an IEEE 754 software emulation library written in Rust which also has Python bindings:
 
-* <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-September/002737.html>
+* Source: <https://salsa.debian.org/Kazan-team/simple-soft-float>
+* Crate: <https://crates.io/crates/simple-soft-float>
+* Autogenerated Docs: <https://docs.rs/simple-soft-float/>
 
 A cool paper I came across in my research is "IeeeCC754++ : An Advanced
 Set of Tools to Check IEEE 754-2008 Conformity" by Dr. Matthias Hüsken.