v2c - A Verilog to C Translator Tool (for formal verification) http://www.cprover.org/hardware/v2c/ .. another thing I don't need to do! ;)
-
sounds like verilator, or am I missing something here?
the focus is on formal Verification with C Verification tools, not fast execution.
-
-
I had planned to add something like that as a back-end to Yosys. I guess now I don't have to. :)
-
And I need to add a cprover backend to FuseSoC :)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.