Hacker News: "Lion: A formally verified, 5-stage pipeline RISC-…" - Qoto Mastodon

Hacker News @HN@qoto.org

Lion: A formally verified, 5-stage pipeline RISC-V core
https://news.ycombinator.com/item?id=26341055
#hackernews #tech

Mar 04, 2021, 15:12 · · HackerNewsBot · · ·

Sign in to participate in the conversation