Lion: A formally verified, 5-stage pipeline RISC-V coregithub.com/standardsemiconductor241 pointsvarbhat5 years ago