Identifying redundant inter-cell margins and its application to reducing routing congestion | IEEE Conference Publication | IEEE Xplore