Comment by MayeulC

You can get pretty far with yosys, icarus verilog, various spice simulators and gtkwave, but I agree.

At least, interchange formats are pretty well specified (netlists, HDL, waveforms...), maybe except for the proprietary "Open Access" format.