A linear-time approach for static timing analysis covering all process corners