Implementation of model-based testing for medium- to high-resolution Nyquist-rate ADCs | IEEE Conference Publication | IEEE Xplore