12-bit 250ksps SAR ADC in TSOT-6