Fixed Points in 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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron: D'Silva, V, Kroening, D
Awduron Eraill: Al−Hashimi, B
Fformat: Conference item
Cyhoeddwyd: IEEE 2015