search

YosysHQ / riscv-formal

RISC-V Formal Verification Framework
ISC License
101 stars 23 forks source link

Broken link to presentation slides #13

Closed cybrjestr closed 1 year ago

cybrjestr commented 1 year ago

Hi,

on the riscv-formal main page on here, there is a link "See also this presentation slides for an introduction to riscv-formal." Unfortunately, that link seems to be broken, the server times out whenever I try. Shame because I would be interested in the slides!

Thanks!

KrystalDelusion commented 1 year ago

I have managed to find the presentation slides being referenced. With the exception of a bit more discussion on the 'whys' of end-to-end verification and using a framework such as riscv-formal, there doesn't seem to be much that isn't already in the included documentation.

Being from 2017, they include a number of very out of date things in them, and unfortunately I do not have the source to be able to update them. I am instead adding a brief section to the readme to provide an overview of getting a new core set up with riscv-formal.