COBOL made things easier for developers, saw widespread deployment, and still runs much of our backend. If anything, it was too easy to use as much of the code was written by amateurs and is too large&#x2F;complex to port w&#x2F;out risk of breaking it. SystemVerilog, based on what its users write, is <i>much worse</i> than that. They say it barely does what it seeks to accomplish and imply it&#x27;s really used just because it&#x27;s what tools support and people know.<p>So, developing alternatives is a worthwhile thing so long as there&#x27;s tools developed to make them useful. A comment on that page references ParC as one of those:<p><a href="http:&#x2F;&#x2F;parallel.cc&#x2F;cgi-bin&#x2F;bfx.cgi&#x2F;index1.html" rel="nofollow">http:&#x2F;&#x2F;parallel.cc&#x2F;cgi-bin&#x2F;bfx.cgi&#x2F;index1.html</a><p>The presentation on the site does a good job showing why existing approaches suck to varying degrees. Curious, anyone else in this field or researching it have a short list of other alternatives that show promise for this level of things? Especially verification.