Automatic layout based verification of electrostatic discharge paths | IEEE Conference Publication | IEEE Xplore