Zafar Hasan, Maciej J. Ciesielski. Elimination of multi-cycle false paths by state encoding. In 1995 European Design and Test Conference, ED&TC 1995, Paris, France, March 6-9, 1995. pages 155-161, IEEE Computer Society, 1995. [doi]
Abstract is missing.