MixTest: a mixed signal extension to the HP82000 | IEEE Conference Publication | IEEE Xplore