Functional Timing Analysis Made Fast and General
Journal
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
Journal Volume
32
Journal Issue
9
Pages
1421-1434
Date Issued
2013-09
Author(s)
Abstract
In contrast to structural timing analysis, functional timing analysis for circuit delay computation is accurate, but computationally expensive in refuting false critical paths. Despite recent progress on satisfiability-based functional timing analysis, the formulation generality and computation efficiency remain room for further improvement. This paper provides a unified view on different notions of timed characteristic functions and efficient transformation for satisfiability solving. Experimental results show that functional timing analysis on industrial designs can be made up to several orders of magnitude faster and more generally applicable than prior methods.
SDGs
Type
journal article