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...

Full description

Bibliographic Details
Main Authors: D'Silva, V, Kroening, D
Other Authors: Benini, L
Format: Conference item
Published: IEEE 2009