Analogue and mixed signal verification