Domingues J.Speeding-Up Radio-Frequency Integrated Circuit Sizing..Networks 2023