The idea is to give a little background on how Formal Verification work, the available ecosystem of tools, show some small examples on how to use them, and some practical results from real-life usage.
1) Added slides and diagrams to the Wiki https://git.libre-soc.org/?p=libreriscv.git;a=blob;f=conferences/fosdem2024/fosdem2024_formal/formal.md;h=bf26aa07ef278b469ad37f8f31275d5f0e9f5939;hb=b2a917b33ec26d7178bdf4b85e518a6bbafc3d95 Diagrams: https://libre-soc.org/conferences/fosdem2024/fosdem2024_formal/ Slide text: https://libre-soc.org/conferences/fosdem2024/fosdem2024_formal/formal/ Needs Dia and Inkscape to build the PDF. 2) Uploaded the PDF to FOSDEM (see bug URL). It's mostly done, but only have some basic examples. I'll see if I can add some real-life examples, without going into much detail.
(In reply to Cesar Strauss from comment #1) > 1) Added slides and diagrams to the Wiki fantastic. > > https://git.libre-soc.org/?p=libreriscv.git;a=blob;f=conferences/fosdem2024/ > fosdem2024_formal/formal.md;h=bf26aa07ef278b469ad37f8f31275d5f0e9f5939; > hb=b2a917b33ec26d7178bdf4b85e518a6bbafc3d95 bleugh on the \$ stuff :) i wouldn't worry about trying to make it work with ikiwiki, it is a bit too much for it to handle :) > Needs Dia and Inkscape to build the PDF. yes this is pretty standard, for us > > 2) Uploaded the PDF to FOSDEM (see bug URL). i put it at libre-soc ftp as well, uploaded your ssh key you should be able to scp ftp@libre-soc.org > It's mostly done, but only have some basic examples. I'll see if I can add > some real-life examples, without going into much detail. nice.
* Talk was given on 02/03/2024 * Video presentation is available at FOSDEM 2024 site (see bug URL) * Final PDF slides are available at the same site * Also available at: https://ftp.libre-soc.org/fosdem_2024/fosdem2024_formal.pdf * Source files were updated on the wiki: https://git.libre-soc.org/?p=libreriscv.git;a=tree;f=conferences/fosdem2024/fosdem2024_formal;hb=1f429eeba125e65ba4649045196d043a4acac31d
(In reply to Cesar Strauss from comment #3) > * Talk was given on 02/03/2024 fantastic cesar, do put in an RFP under bug #1070