Timing-constrained yield-driven redundant via insertion | IEEE Conference Publication | IEEE Xplore