Yield modeling using the SPIROS redundancy planner | IEEE Conference Publication | IEEE Xplore