Verification of RF and mixed-signal integrated circuits for substrate coupling effects | IEEE Conference Publication | IEEE Xplore