12-bit, 800ksps SAR ADC with +/-2.5V Input