Automated antenna detection and correction methodology in VLSI designs | IEEE Conference Publication | IEEE Xplore