Fixed points for multi-cycle path detection (Design, Automation and Test in Europe Conference and Exhibition, 2009)

(untitled) - D'Silva, V; Kroening, D