Formal description of test specification and ATE architecture for mixed-signal test | IEEE Conference Publication | IEEE Xplore