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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Sun Feb 4 19:37:55 GMT 2024

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






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


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


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

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

More information about the Libre-soc-dev mailing list