[Libre-soc-bugs] [Bug 1220] An introduction to Formal Verification of Digital Circuits

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=1220

Cesar Strauss <cestrauss at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|https://pretalx.fosdem.org/ |https://fosdem.org/2024/sch
                   |fosdem-2024/talk/review/ERC |edule/event/fosdem-2024-221
                   |K9HTW89NXBA7SFGF8BLMWCTFEZW |5-an-introduction-to-formal
                   |BG                          |-verification-of-digital-ci
                   |                            |rcuits/

--- Comment #1 from Cesar Strauss <cestrauss at gmail.com> ---
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.

-- 
You are receiving this mail because:
You are on the CC list for the bug.