Fixed points for multi-cycle path detection
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 scal...
Main Authors: | D'Silva, V, Kroening, D |
---|---|
Other Authors: | Benini, L |
Format: | Conference item |
Published: |
IEEE
2009
|
Similar Items
-
Fixed Points in Multi−Cycle Path Detection
by: D'Silva, V, et al.
Published: (2015) -
Interpolation−based verification of floating−point programs with abstract CDCL
by: Brain, M, et al.
Published: (2013) -
Interpolation-based verification of floating-point programs with abstract CDCL
by: Brain, M, et al.
Published: (2013) -
Deciding floating−point logic with abstract conflict driven clause learning
by: Brain, M, et al.
Published: (2013) -
Abstraction of Syntax
by: D'Silva, V, et al.
Published: (2013)