A 12.5-ENOB 10-kS/s Redundant SAR ADC in 65-nm CMOS | IEEE Journals & Magazine | IEEE Xplore