News for hackers. Stuff that matters.

A comment on Lion: A formally verified, 5-stage pipeline RISC-V core. Parent comment

Re:Lion: A formally verified, 5-stage pipeline RISC-V core by mhh__ on Thursday March 04, 2021 @12:11PM (#26345028)
Bluespec is Haskell underneath SystemVerilog on top and it seems quite nice.

It's open source as of about a year ago

[ Parent | on HN ]

There are no comments on this comment yet.