# Tuesday 14th November

* 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

- 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]]