DRC-based hotspot detection considering edge tolerance and incomplete specification | IEEE Conference Publication | IEEE Xplore