Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Lion: A formally verified, 5-stage pipeline RISC-V core
github.com/standardsemiconductor
241 points
varbhat
5 years ago
81 comments
Loading...
Lion: A formally verified, 5-stage pipeline RISC-V core | Heykuki News