Introduction -- RF Receiver Architectures -- Modeling and Synthesis of