G github.com Lion: A formally verified, 5-stage pipeline RISC-V core 241 points varbhat 5 years ago 81 comments
