From d55c5974598f8bf0b05b2f1b987e71d66dc8189e Mon Sep 17 00:00:00 2001 From: Andrey Miroshnikov Date: Tue, 21 Nov 2023 11:56:56 +0000 Subject: [PATCH] Adding meeting notes from last week --- meetings/sync_up/2023-11-14_15.mdwn | 61 +++++++++++++++++++++++++++++ 1 file changed, 61 insertions(+) create mode 100644 meetings/sync_up/2023-11-14_15.mdwn 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]] -- 2.30.2