update meeting notes

[libreriscv.git] / meetings / sync_up / sync_up_2023-11-14.mdwn

diff --git a/meetings/sync_up/sync_up_2023-11-14.mdwn b/meetings/sync_up/sync_up_2023-11-14.mdwn
index 2f47ee636e05d6b9c77ff94645bf04d842046d46..9e8d6da3c001bb33b738608d11d5b8c13b0aa9c6 100644 (file)
--- a/meetings/sync_up/sync_up_2023-11-14.mdwn
+++ b/meetings/sync_up/sync_up_2023-11-14.mdwn
@@ -1,7 +1,8 @@
-# Tuesday 14th November
+# Tuesday 14th November 17:00 UTC
 
-* Previous weeks' notes: [[meetings/sync_up/2023-11-07_08]]
-* Next weeks' notes: [[meetings/sync_up/2023-11-21_22]]
+* Previous week's notes: [[meetings/sync_up/sync_up_2023-11-07]]
+* Next day's notes: [[meetings/sync_up/sync_up_2023-11-15]]
+* Next week's notes: [[meetings/sync_up/sync_up_2023-11-21]]
 
 ## Sadoon
 
@@ -35,31 +36,5 @@ response on the rest.
 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]]
 [[!tag meeting_sync_up]]