Combinational logic optimization techniques in sequential logic synthesis

The case for retiming with explicit reset circuitry

Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design

On the optimization power of retiming and resynthesis transformations

Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design

Theoretical comparison between sequential redundancy addition and removal and retiming optimization techniques

Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Synthesis and verification

Retiming: Theory and practice

Integration, the VLSI Journal

On some transformation invariants under retiming and resynthesis

TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems