Digital Circuit Static Timing Analysis