Analogue verification productivity