Cocotb supports both OSS and proprietary simulators. With Quaigh on the scene, ATPG is taking a lot less time, leaving only simulation.