Device-Level Modeling and Synthesis of High-Performance Pipeline ADCs