From: lkcl <lkcl@web>
Date: Thu, 23 Jan 2020 19:21:56 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3753
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f5412734ec63cd8710e9f5e39535bc1cbc742ec0;p=libreriscv.git

---

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index 799a4c12f..7994bdcc5 100644
--- a/HDL_workflow.mdwn
+++ b/HDL_workflow.mdwn
@@ -131,6 +131,11 @@ nmigen may be installed as follows:
 
 testing can then be carried out with "python3 setp.py test"
 
+## Softfloat and sfpy
+
+These are a test suite dependency for the ieee754fpu library, and will be changed in the future to use Jacob's algorithmic numeric library.  In the meantime the README describing the process is here:
+<https://git.libre-riscv.org/?p=ieee754fpu.git;a=blob;f=README.md;h=d219864a341e4b656680de476e385b6a7f70fb9b;hb=HEAD>
+
 # Registering for git repository access
 
 After going through the onboarding process and having agreed to take responsibility for certain tasks, ask on the mailing list for git repository access, sending in a public key (id_rsa.pub). If you do not have one then generate it with ssh-keygen -t rsa. You will find it in ~/.ssh