Accelerating Functional Timing Analysis with Simplfied Timed Characteristic Functions
Date Issued
2012
Date
2012
Author(s)
Chung, Yi-Ting
Abstract
Functional, in contrast to structural, timing analysis for circuit delay computation is accurate, but computationally expensive in refuting false critical paths. Although satisfiability-based analysis using timed characteristic functions (TCFs) and modern satisfiability-solving techniques has been proposed, its efficiency and generality remain room for improvement.
This thesis provides a unified view on various TCFs for different timing requirements and a more efficient transformation from TCF formulas to conjunctive normal form (CNF) for satisfiability solving. Experimental results show functional timing analysis on industrial designs can be made up to several orders of magnitude faster and more generally applicable than prior methods.
Subjects
false path
satisfiability solving
timed characteristic function
timing analysis
Type
thesis
File(s)![Thumbnail Image]()
Loading...
Name
ntu-101-R99943080-1.pdf
Size
23.32 KB
Format
Adobe PDF
Checksum
(MD5):d594c1c13d2ca07d5c7389a2df314471