This paper presents efficient reencoding and resynthesis algorithms for cycle-time minimization of multilevel implementations of synchronous finite state machines (FSMs) under a fixed encoding length. The proposed technique is applicable to both gate-level and technology independent synchronous network representations. We present two algorithms for identifying useful reencodings
Balakrishnan Iyer, Maciej J. Ciesielski