A new framework for static timing analysis, incremental timing refinement, and timing simulation