From: Andrey Miroshnikov <andrey@technepisteme.xyz>
Date: Tue, 21 Nov 2023 11:56:56 +0000 (+0000)
Subject: Adding meeting notes from last week
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d55c5974598f8bf0b05b2f1b987e71d66dc8189e;p=libreriscv.git

Adding meeting notes from last week
---

diff --git a/meetings/sync_up/2023-11-14_15.mdwn b/meetings/sync_up/2023-11-14_15.mdwn
new file mode 100644
index 000000000..6aee49ce8
--- /dev/null
+++ b/meetings/sync_up/2023-11-14_15.mdwn
@@ -0,0 +1,61 @@
+# Tuesday 14th November
+
+## Sadoon
+
+- Planning to start making snippets of Poly-1305, asked for advice on
+how to setup test file (examples
+
+## Jacob
+
+- Created budget estimates for
+[bug #1169](https://bugs.libre-soc.org/show_bug.cgi?id=1169).
+Asked for approval whether can proceed or not.
+
+- Asked for the reason of the budget distribution in
+[bug #983](https://bugs.libre-soc.org/show_bug.cgi?id=983)
+(This bug's budget will be used to fund bug #1169.)
+
+## Andrey
+
+- Luke and I in conversation with Michiel to query about FOSDEM costs.
+Later this week on another call to finalise the ongoing grant MoU.
+*(The MoU was signed the following week.)*
+
+- Continued to work on Libre-SOC documentation included in [[HDL_workflow]]
+and [[HDL_workflow/libresoc_bug_process]]. See
+[bug #1126](https://bugs.libre-soc.org/show_bug.cgi?id=1126) for updates.
+
+- Looked at list of tasks under bug #1169 and gave Jacob the go-ahead
+to proceed with tasks that are definitely required, and wait for Luke's
+response on the rest.
+*(Given my lack of understanding and background, this was a mistake, and
+I should have waited for Luke's comments on the task list. This is noted
+for future bugs.)*
+
+# Wednesday 15th November
+
+## Cesar
+
+- Working through the formal correctness proof for the ld/st unit.
+  - Says will be similar to compunit.
+  - Need to fetch operands, store results.
+- There are 2 compunits in two files:
+  - ALU Compunit does everything but ld/st.
+  - LD/ST Compunit is for mem-reg/reg-mem.
+(Only the ld/st proof is covered by current grant, see
+[bug #1036](https://bugs.libre-soc.org/show_bug.cgi?id=1036)) 
+
+On future grant:
+
+- Make sure future grants include budget for formal verification.
+
+When doing HDL design:
+
+- Ideally should be able to switch between *design, verification, simulation.*
+
+On Fosdem:
+
+- What to do about talk submissions which use the unauthorised for of nMigen?...
+
+
+[[!tag meeting2023]]