[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
----------------------------------------------------------------------------
             Status|CONFIRMED                   |RESOLVED
         Resolution|---                         |FIXED

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

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