Mixed-mode and mixed-domain modelling and verification of radio frequency subsystems for SoC-applications | IEEE Conference Publication | IEEE Xplore