I while back i came across SystemC [1]. Have a look, even if C++ might be percei... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		jand on March 4, 2021 \| parent \| context \| favorite \| on: Lion: A formally verified, 5-stage pipeline RISC-V... 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

UncleOxidant on March 4, 2021 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact