3 ms·
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.wikip
by jand 6y ago
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 https://en.wikipedia.org/wiki/SystemC
- UncleOxidant 6y agoYou'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.