Hacker GitHub

← All repos

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

Mentions per year 3 mentions · busiest year 2022 (2)
20082026
  1. ▲ 241
    Lion: A formally verified, 5-stage pipeline RISC-V core
    story by varbhat · 2021-03-04 · 81 comments