(no commit message)

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index 799a4c12f17493a1ede675a0d578ffa138fefea5..7994bdcc51f188a815acf3f9635411a8a894759d 100644 (file)
--- 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