Static Timing Analysis Problems