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

Celý popis

Podrobná bibliografie
Hlavní autoři: D'Silva, V, Kroening, D
Další autoři: Al−Hashimi, B
Médium: Conference item
Vydáno: IEEE 2015