Optimizing sequential cycles through Shannon decomposition and retiming

Optimizing sequential cycles is essential for many types of high-performance circuits, such as pipelines for packet processing. Retiming is a powerful technique for speeding pipelines, but it is stymied by tight sequential cycles. Designers usually attack such cycles by manually combining Shannon decomposition with retiming---effectively a form of speculation---but such manual decomposition is error-prone.We propose an efficient algorithm that simultaneously applies Shannon decomposition and retiming to optimize circuits with tight sequential cycles. While the algorithm is only able to improve certain circuits (roughly half of the benchmarks we tried), the performance increase can be dramatic (7%--61%) with only a modest increase in area (3%--12%). The algorithm is also fast, making it a practical addition to a synthesis flow.