standardsemiconductor/lion
View on GitHub ↗ ★ 270 Haskell
Where Lions Roam: RISC-V on the VELDT
3 mentions on Hacker News by 2 people: 1 story, 2 comments · first 2021-03-04 · latest 2022-08-28
20082026
-
▲ 241
Lion: A formally verified, 5-stage pipeline RISC-V corestory by varbhat · 2021-03-04 · 81 comments