From: lkcl <lkcl@web>
Date: Thu, 13 Feb 2020 23:18:03 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3433
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6c976ba3559a2c78c6b3bc9cf9ecb1e40eca12bf;p=libreriscv.git

---

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index b6793f946..6aba07753 100644
--- 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