Accurate detection for process-hotspots with vias and incomplete specification | IEEE Conference Publication | IEEE Xplore