(no commit message)

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index b6793f946a231b58702decff018379f1e228994d..6aba077533f96b2c2b12c02bf6ce6fc4b91a445b 100644 (file)
--- a/HDL_workflow.mdwn
+++ b/HDL_workflow.mdwn
@@ -448,6 +448,9 @@ for actual code development
 * plan in advance to write not just code but a full test suite for
   that code.  **this is not optional**. large python projects that do not
   have unit tests **FAIL** (see separate section below).
+* Prioritise writing formal proofs and a single clear unit test that is more like a "worked example".
+  We receive NLNet funds for writing formal proofs, plus they
+cover corner cases and take far less time to write
 
 ### Commit tested or zero-dependent code