US6910194B2 - Systems and Methods for Timing a Linear Data Path Element During Signal-Timing Verification of an Integrated Circuit Design