US7594209B2 - Method for Incorporating Miller Capacitance Effects in Digital Circuits for an Accurate Timing Analysis