Efficient multi-domain ESD analysis and verification for large SoC designs | IEEE Conference Publication | IEEE Xplore