Avoid power leaks, power-ground DC paths, and missing level shifters with symbolic simulation. Nothing is worse for a design ...