A 12-bit 40 MS/s pipelined ADC with over 80 dB SFDR