Redundant via allocation for layer partition-based redundant via insertion | IEEE Conference Publication | IEEE Xplore