Name
Abstract | ||
|---|---|---|
Accurate timing analysis is crucial for obtaining the optimal clock frequency, and for other design stages such as power analysis. Most methods for estimating propagation delay identify multi-cycle paths (MCPs), which allow timing to be relaxed, but ignore the set of reachable states, achieving scalability at the cost of a severe lack of precision. Even simple circuits contain paths affecting timing that can only be detected if the set of reachable states is considered. We examine the theoretical foundations of MCP identification and characterise the MCPs in a circuit by a fixed point equation. The optimal solution to this equation can be computed iteratively and yields the largest set of MCPs in a circuit. Further, we define conservative approximations of this set, show how different MCP identification methods in the literature compare in terms of precision, and show one method to be unsound. The practical application of these results is a new method to detect multi-cycle paths using techniques for computing invariants in a circuit. Our implementation performs well on several benchmarks, including an exponential improvement on circuits analysed in the literature. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/DATE.2009.5090938 | DATE |
Keywords | Field | DocType |
accurate timing analysis,multi-cycle path,mcp identification,different mcp identification method,reachable state,new method,fixed point equation,multi-cycle path detection,largest set,optimal clock frequency,simple circuit,virtualization,registers,lattices,timing analysis,circuits,fixed point,frequency,power analysis,component,propagation delay,scalability,logic gates,sequential circuits,fixed point arithmetic | Mathematical optimization,Sequential logic,Propagation delay,Fixed-point arithmetic,Computer science,Real-time computing,Static timing analysis,Fixed point,Electronic circuit,Clock rate,Scalability | Conference |
ISSN | Citations | PageRank |
1530-1591 | 4 | 0.42 |
References | Authors | |
13 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Vijay D'Silva | 1 | 239 | 14.07 |
| Daniel Kroening | 2 | 3084 | 187.60 |