standardsemiconductor/lion

Where Lions Roam: RISC-V on the VELDT

241 best points · 81 comments · 1 Hacker News post · 270 GitHub stars · View on GitHub

Hacker News discussions

• Lion: A formally verified, 5-stage pipeline RISC-V core (241 points, 81 comments, by varbhat, 2021-03-04)