A method and system to insert redundant vias while preserving timing is
disclosed. The system and method preserve the timing during redundant via
insertion, which utilizes incremental timing and extraction updates. A
budgeting based approach and a path based approach to the method are
disclosed. The budgeting approach is faster, while the path based method
has a better insight of the worst slack/slew for the entire design.