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 jand on Thursday March 04, 2021 @11:29AM (#26344460)
I while back i came across SystemC [1]. Have a look, even if C++ might be perceived as a joke in a thread about formally verified RISC-V.

[1] https://en.wikipedia.org/wiki/SystemC

[ Parent | on HN ]
Re:Lion: A formally verified, 5-stage pipeline RISC-V core by UncleOxidant on Thursday March 04, 2021 @12:08PM (#26344995)
You're going to have a hard time synthesizing SystemC. Yes, there are tools available, but they cost a lot of $$$. And then there are the error messages you get from SystemC - if you like sifting through pages of C++ template error messages to find your mistake, you'll love SystemC.
[ Parent | on HN ]