[pbazarnik]

One notable exception is Verilator which is growing fast and competes welll with commercial Verilog simulators (https://github.com/verilator/verilator) It has industry support notably Wester Digital.