References/related work: broken link to RISC V ISA in Sail

YosysHQ / riscv-formal

RISC-V Formal Verification Framework

ISC License

94 stars 21 forks source link

Closed cybrjestr closed 1 year ago

cybrjestr commented 1 year ago

Hi,

at References and related work there is a link to RISC-V ISA specification work in Sail 2 - however that repository has moved. If I understand correctly, it is now probably at RISCV Sail Model, seeing as Sail 2 seems to be the default Sail by now.

Kind regards, Sebastian