All-digital 1-bit RSFQ autocorrelator for radioastronomy applications: design and experimental results | IEEE Journals & Magazine | IEEE Xplore