Generation and verification of tests for analogue circuits subject to process parameter deviations | IEEE Conference Publication | IEEE Xplore