Static Timing Analysis Tool Validation In The Presence Of Timing Anomalies