Characterization of a High-Resolution Analog-to-Digital Converter with an Ac Josephson Voltage Source | IEEE Conference Publication | IEEE Xplore