False-path-aware statistical timing analysis and efficient path selection for delay testing and timing validation.