US8701074B2 - Automatic Reduction of Modes of Electronic Circuits for Timing Analysis