[Bob] created a KiCAD plugin, KiCadVerilog allowing one to instantiate and wire up the circuits under consideration, and then throw the resulting Verilog file at your logic simulator of choice.

For a start, KiCad works better with whatever other tools you might use. There’s the recently added LTSpice schematic import and overall serious SPICE simulation improvements, SVG and DXF import ...