update meeting notes

[libreriscv.git] / meetings / sync_up / sync_up_2024-02-13.mdwn

diff --git a/meetings/sync_up/sync_up_2024-02-13.mdwn b/meetings/sync_up/sync_up_2024-02-13.mdwn
index 2ab269732f9d455026805c627383ba42a679196e..d964d633417b40313fcbfdac8f770645721bf63f 100644 (file)
--- a/meetings/sync_up/sync_up_2024-02-13.mdwn
+++ b/meetings/sync_up/sync_up_2024-02-13.mdwn
@@ -9,9 +9,6 @@
   for completion of cavatools and cryptoprimitives.
 * payments for FOSDEM
 
-cesar, interested faces and questions on formal talk.
-thank you for taking care of devroom. instructions all there.
-
 EUR 4500 for everyone who did talks and helped.
   [bug #1070](https://bugs.libre-soc.org/show_bug.cgi?id=1070)
 
@@ -36,12 +33,24 @@ Meeting notes:
 
 # Cesar
 
-  [bug #1220](https://bugs.libre-soc.org/show_bug.cgi?id=1220)
+* [bug #1220](https://bugs.libre-soc.org/show_bug.cgi?id=1220):
+Updated [wiki](https://git.libre-soc.org/?p=libreriscv.git;a=commit;h=1f429eeba125e65ba4649045196d043a4acac31d)
+and [ftp](https://ftp.libre-soc.org/fosdem_2024/fosdem2024_formal.pdf)
+with final version of presentation.
+
+* Reviewed my [FOSDEM video](https://fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/)
+
+* The Cologne chip and Gnucap talks are cut at the end, need to report that.
+I guess they advanced a little into the 5 min interval.
+
 # Jacob
 
+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.
+
 # Rita (Aarhuis)
 
-talk / report on Libre-SOC?
+talk / report on Libre-SOC? write about Libre-SOC participation
+in FOSDEM2024. <https://lists.libre-soc.org/pipermail/libre-soc-dev/2024-February/006048.html>
 
 # Luke
 
@@ -50,16 +59,15 @@ talk / report on Libre-SOC?
   [bug #676](https://bugs.libre-soc.org/show_bug.cgi?id=676)
 * FOSDEM2024 talk on DDFFirst
   [bug #1244](https://bugs.libre-soc.org/show_bug.cgi?id=1244)
+  Video <https://youtu.be/fxClvuc2-f8>
 
-planning to do RFCs and submissions, bigmul REMAP SHAPE pseudocode
+done three RFCs ls004 ls006 ls011 and submissions, bigmul REMAP SHAPE pseudocode
 
 # Tobias
 
 reviewed and uploaded video. getting tobias onto MoU for 2022-08-051
 <https://lists.libre-soc.org/pipermail/libre-soc-dev/2024-February/006041.html>
 
-# Dmitry
-
 
 [[!tag meeting2024]]
 [[!tag meeting_sync_up]]