From 765dc054caecab631c58b0fbcf961b8c2cdd32d7 Mon Sep 17 00:00:00 2001 From: Shriya Sharma Date: Tue, 21 Nov 2023 17:12:31 +0000 Subject: [PATCH] rename meeting files --- ...-11-07_08.mdwn => sync_up_2023-11-07.mdwn} | 0 ...-11-14_15.mdwn => sync_up_2023-11-14.mdwn} | 0 meetings/sync_up/sync_up_2023-11-15.mdwn | 65 +++++++++++++++++++ 3 files changed, 65 insertions(+) rename meetings/sync_up/{2023-11-07_08.mdwn => sync_up_2023-11-07.mdwn} (100%) rename meetings/sync_up/{2023-11-14_15.mdwn => sync_up_2023-11-14.mdwn} (100%) create mode 100644 meetings/sync_up/sync_up_2023-11-15.mdwn diff --git a/meetings/sync_up/2023-11-07_08.mdwn b/meetings/sync_up/sync_up_2023-11-07.mdwn similarity index 100% rename from meetings/sync_up/2023-11-07_08.mdwn rename to meetings/sync_up/sync_up_2023-11-07.mdwn diff --git a/meetings/sync_up/2023-11-14_15.mdwn b/meetings/sync_up/sync_up_2023-11-14.mdwn similarity index 100% rename from meetings/sync_up/2023-11-14_15.mdwn rename to meetings/sync_up/sync_up_2023-11-14.mdwn diff --git a/meetings/sync_up/sync_up_2023-11-15.mdwn b/meetings/sync_up/sync_up_2023-11-15.mdwn new file mode 100644 index 000000000..2f47ee636 --- /dev/null +++ b/meetings/sync_up/sync_up_2023-11-15.mdwn @@ -0,0 +1,65 @@ +# Tuesday 14th November + +* Previous weeks' notes: [[meetings/sync_up/2023-11-07_08]] +* Next weeks' notes: [[meetings/sync_up/2023-11-21_22]] + +## 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]] +[[!tag meeting_sync_up]] -- 2.30.2