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

Full beskrivning

Bibliografiska uppgifter
Huvudupphovsmän: D'Silva, V, Kroening, D
Övriga upphovsmän: Al−Hashimi, B
Materialtyp: Conference item
Publicerad: IEEE 2015