Finally,
Pragmatic C Software has releaesed a decent GPL'ed verilog simulator. Mind you, this is just the interpreter product, so the performance is going to be kind of 1980s, but this is mana from heaven for small, independent, licensable IP consultants.