MinnSSTA Static Timing Analyzer