Surendra Bommu, Niall O Neill, Maciej J. Ciesielski. Retiming-based factorization for sequential logic optimization. ACM Trans. Design Autom. Electr. Syst., 5(3):373-398, 2000. [doi]
@article{BommuOC00, title = {Retiming-based factorization for sequential logic optimization}, author = {Surendra Bommu and Niall O Neill and Maciej J. Ciesielski}, year = {2000}, doi = {10.1145/348019.348068}, url = {http://doi.acm.org/10.1145/348019.348068}, tags = {optimization, rule-based, logic}, researchr = {https://researchr.org/publication/BommuOC00}, cites = {0}, citedby = {0}, journal = {ACM Trans. Design Autom. Electr. Syst.}, volume = {5}, number = {3}, pages = {373-398}, }