Algorithm for the automatic verification of complex mixed-signal ICs regarding ESD-stress | IEEE Conference Publication | IEEE Xplore