gplcver

gplcver used to be commercial (then known as cver), which was released under GPL licensing. This does not seem to have seen support since GPL release, I'm more likely to use Icarus and Verilator.