[Iverilog-devel] Maia verification language

[Evan L. <sa2...@cy...>]

You might be interested to see http://www.maia-eda.net: it's a
verification language, with a free download, and the compiler produces
Verilog output which runs on Icarus (and other sims, of course). I've
been developing it for some years and it has been used on various
projects I've been on, but this is the first public non-beta. The
website is a couple of days old so may be a little flakey, and I'm still
adding stuff.

When running chip regression and unit tests (which don't need a GUI, of
course) v10 is as good as the commercial sims I use. Maia's Verilog
output is V-2005, with no SV requirement, and v10's Verilog compliance
is good - it runs all the compiler test regressions without error (which
isn't true of all the commercial sims). Thanks for all the hard work!