v2c - A Verilog to C Translator Tool (for formal verification) http://www.cprover.org/hardware/v2c/ .. another thing I don't need to do! ;)
-
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 :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.