Lion is a formally verified, 5-stage pipeline RISC-V core

This page summarizes the projects mentioned and recommended in the original post on reddit.com/r/RISCV
#risc-v #Haskell #Clash #veldt

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • SonarLint - Clean code begins in your IDE with SonarLint
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • lion

    Where Lions Roam: RISC-V on the VELDT (by standardsemiconductor)

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts