Agreed. There's a great episode on the Microarch Club podcast (#10) about open source tooling and Verilator specifically. While Verilator is in an impressive state, it doesn't get any use by the big players.