Hacker News new | past | comments | ask | show | jobs | submit | from login

Lion: A formally verified, 5-stage pipeline RISC-V core (github.com/standardsemiconductor) 241 points by varbhat on March 4, 2021 | past | 81 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: