Static timing analysis with false paths

Finding the longest path and the worst delay is the most important task in static timing analysis. But in almost every digital circuit, there exists false paths which are logically impossible or designers don't care about their delays. This paper presents a new method to calculate the worst delay of a circuit with known false paths. When searching for the longest path, it stores delays on nodes conditionally with false paths matched up to the node, thus reduces the number of cache entries and eliminates revisits. This method can be applied to incremental delay calculation with little change. Experiments show that the new method is significantly better than path enumeration without conditional cache.