In order to obtain more accurate circuit delay,the notion of the global false path is applied to a previous timing analysis of circuits and a new timing characterization method was presented for improving the accuracy of timing models.This method is proved to generate timing models with very tight path delays that are guaranteed to give correct results and eliminate the vast majority of false paths without resorting to expensive search-based or symbolic techniques to account for functionality.Experimental r...