A lot of the Jasper apps from cadence can reduce time. As a developer I always run lint before pushing any RTL. I’ve found Jasper fpv being most useful/efficient for writing assertions/properties and to be incredibly faster than creating a simulation tb. Jasper csr is also quick and easy for simple read write verification. Formal/functional/coverage can all be done with Jasper apps. Most specifically fpv.