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 spamizbad on Thursday March 04, 2021 @10:23AM (#26343514)
You should look into Bluespec.https://en.wikipedia.org/wiki/Bluespec
[ Parent | on HN ]

There are no comments on this comment yet.