Text this: Fast Statistical Static Timing Analysis Using Smart Monte Carlo Techniques.