lion
Lion is a formally verified, 5-stage pipeline RISC-V core. Lion targets the VELDT FPGA development board and is written in Haskell using Clash.
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
over 1 year ago
0.4.0.1
over 1 year ago
Versions
5
5
Downloads
677 total
677 total
Dependent Repos
1
1
Loading...
Readme
Loading...
Links
| Registry | hackage.haskell.org |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/lion
spec |
| License | BSD-3-Clause |
| First Release | about 5 years ago |
| Last Synced | 18 days ago |