A model for verification of coupled high-speed packages and interconnects | IEEE Conference Publication | IEEE Xplore