Functional Verification of Radio Frequency SoCs using Mixed-Mode and Mixed-Domain Simulations | IEEE Conference Publication | IEEE Xplore