(no commit message)

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index 7e0e584f37011c7237b9519e9a62b672606c559d..3a63d6024806f98ab70560f37d420db698dab5d3 100644 (file)
--- a/HDL_workflow.mdwn
+++ b/HDL_workflow.mdwn
@@ -237,7 +237,7 @@ Thanks to Samuel Falvo we learned that writing unit tests as a formal proof is n
 
 No this is not a joke or hypothetical.
 
-The ieee754fpu requires several hundreds of thousands of tests to be run, and even then we cannot be absolutely certain that all possible combinations of input have been tested.  With 2^128 permutations to try with 2 64 bit FP numbers it is simply impossible to even try.
+The ieee754fpu requires several hundreds of thousands of tests to be run (currently needing several days to run them all), and even then we cannot be absolutely certain that all possible combinations of input have been tested.  With 2^128 permutations to try with 2 64 bit FP numbers it is simply impossible to even try.
 
 This is where formal proofs come into play.