Verification of RF SoCs: RF, analog, baseband and software | IEEE Conference Publication | IEEE Xplore