search

YosysHQ / riscv-formal

RISC-V Formal Verification Framework
ISC License
94 stars 21 forks source link

Update the link to the presentation slides #1

Closed WeeBull closed 2 years ago

WeeBull commented 2 years ago

Since the domain that the slides were being stored at has now expired, it seemed prudent to update the link here.