An automated tool deployment for ESD (electrostatic-discharge) correct-by-construction strategy in 90 nm process | IEEE Conference Publication | IEEE Xplore