1 # Tuesday 13th February 17:00 UTC
3 * Previous notes: [[meetings/sync_up/sync_up_2024-02-06]]
4 * Next week's notes: [[meetings/sync_up/sync_up_2024-02-20]]
8 * reminder of **only 2 weeks** until march 1st deadline
9 for completion of cavatools and cryptoprimitives.
12 EUR 4500 for everyone who did talks and helped.
13 [bug #1070](https://bugs.libre-soc.org/show_bug.cgi?id=1070)
19 [bug #676](https://bugs.libre-soc.org/show_bug.cgi?id=676)
20 * FOSDEM2024 talk on DDFFirst
21 [bug #1244](https://bugs.libre-soc.org/show_bug.cgi?id=1244)
22 * Outstanding Cavatools tasks:
23 - [bug #980](https://bugs.libre-soc.org/show_bug.cgi?id=980)
24 * Outstanding Cryptorouter tasks:
25 - Poly1305, [bug #1157](https://bugs.libre-soc.org/show_bug.cgi?id=1157)
26 [bug #1158](https://bugs.libre-soc.org/show_bug.cgi?id=1158),
27 [bug #1159](https://bugs.libre-soc.org/show_bug.cgi?id=1159)
29 [bug #1151](https://bugs.libre-soc.org/show_bug.cgi?id=1151),
30 [bug #1166](https://bugs.libre-soc.org/show_bug.cgi?id=1166),
31 [bug #1167](https://bugs.libre-soc.org/show_bug.cgi?id=1167)
32 * sadoon has fosdem slides partly done?
36 * [bug #1220](https://bugs.libre-soc.org/show_bug.cgi?id=1220):
37 Updated [wiki](https://git.libre-soc.org/?p=libreriscv.git;a=commit;h=1f429eeba125e65ba4649045196d043a4acac31d)
38 and [ftp](https://ftp.libre-soc.org/fosdem_2024/fosdem2024_formal.pdf)
39 with final version of presentation.
41 * Reviewed my [FOSDEM video](https://fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/)
43 * The Cologne chip and Gnucap talks are cut at the end, need to report that.
44 I guess they advanced a little into the 5 min interval.
48 thinking of declaring current state of bigint fosdem 2024 presentation good enough for now, will get back to working on bigmul remap since we're close to the deadline.
52 talk / report on Libre-SOC? write about Libre-SOC participation
53 in FOSDEM2024. <https://lists.libre-soc.org/pipermail/libre-soc-dev/2024-February/006048.html>
58 basically now done. ironically removed crternlogi.
59 [bug #676](https://bugs.libre-soc.org/show_bug.cgi?id=676)
60 * FOSDEM2024 talk on DDFFirst
61 [bug #1244](https://bugs.libre-soc.org/show_bug.cgi?id=1244)
62 Video <https://youtu.be/fxClvuc2-f8>
64 planning to do RFCs and submissions, bigmul REMAP SHAPE pseudocode
68 reviewed and uploaded video. getting tobias onto MoU for 2022-08-051
69 <https://lists.libre-soc.org/pipermail/libre-soc-dev/2024-February/006041.html>
75 [[!tag meeting_sync_up]]