Retiming-based factorization for sequential logic optimization. - Surendra Bommu; Niall O'Neill; Maciej J. Ciesielski (ACM Trans. Design Autom. Electr. Syst., 2000)