[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

Luke Kenneth Casson Leighton <lkcl at lkcl.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |lkcl at lkcl.net

--- Comment #2 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(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 at 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.

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