Thank you all for you kind words of support yesterday. 
I'm very fortunate to have such a great community here. Thank you. 
-
Any further information? Every successful foss project needs a sustainable business model, just curious what the license will entail.
It's 99.9% the same Yosys, just bundled with things like Verific to add support for SystemVerilog, VHDL, SVA, etc, and with commercial support.
-
-
Do you have pricing information somewhere ? Unfortunately I doubt I can convince my company to license it, as we are not doing a lot of HDL :(
-
There will be various options. For evaluation purposes and occasional use there will be cloud instances with everything pre-installed for 10 USD/hr.
End of conversation
New conversation -
-
-
Will there be free open source tools available to synthesise and verify VHDL locally?
-
There is a VHDL frontend, I think this is the one https://github.com/forflo/yodl , which is not included because it's gpl'ed. Verification should work the same, since when you add an assert in verilog it lowers to https://github.com/YosysHQ/yosys/blob/master/techlibs/common/simlib.v#L1274 … which yosys should correctly convert to smt-lib2.
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.