[Libre-soc-dev] Your FOSDEM 2024 talk titled 'An introduction to Formal Verification of Digital Circuits'

[Luke Kenneth Casson Leighton]

hello could evrryone coordinate on reviewing these videos,
check/mark start/end and report quality?
thnk you so much.
l.

https://review.video.fosdem.org/r/09c7e25ac98fa202efc1888ff159ac94d0c1e67c10b4234fcd3b8bb4016e593b

https://review.video.fosdem.org/r/540e939de988dae6db96630a42da35906186271849b2b9f9b6abcf016e1e31f5

https://review.video.fosdem.org/r/7953a44b9211bf0d2601ac426885d7f211c2817813f02ee85b00766992f0aecc

https://review.video.fosdem.org/r/18175c3f4aee1af8b82e01072ee421c16622034ac749b02fc83884b621564c7c

https://review.video.fosdem.org/r/f51846d9347bd1367d6c258f8f39e701b36c913e03bacc0bf4c6f12fce2e229c

---------- Forwarded message ----------
From: <noreply at fosdem.org>
Date: Saturday, February 3, 2024
Subject: Your FOSDEM 2024 talk titled 'An introduction to Formal
Verification of Digital Circuits'
To: Cesar Strauss <cestrauss at gmail.com>
Cc: responsible for track Libre-SOC FPGA and VLSI devroom <
libre-soc-devroom-manager at fosdem.org>


Hi!

This is to notify you that the video of your talk, titled

  An introduction to Formal Verification of Digital Circuits

is now ready for review at


https://review.video.fosdem.org/r/09c7e25ac98fa202efc1888ff159ac94d0c1e67c10b4234fcd3b8bb4016e593b

Please be so kind as to review it at your earliest convenience. If you
don't do so, we will eventually get around to it, but that might take a
while.

Please follow the instructions in the form; the primary goal of the
review process is to crowdsource the marking of the start and end of the
talk to you, its speaker(s) and other directly involved people, rather
than relying on a limited number of speakers. It is not about you
approving the video.

If there is any problem with the video that you cannot fix through the
review system, you can contact us through:

mail: video at fosdem.org
matrix: #video:fosdem.org
or via the comment system in the review interface (be sure to then
enable the "an administrator should look at this" option).
Thanks for your assistance,

The FOSDEM video team.



-- 
---
geometry: without it life is pointless
the fibonacci series: easy as 1 1 2 3