US7673268B2 - Method and System for Incorporating via Redundancy in Timing Analysis