A unified approach to the decomposition and redecomposition of sequential machines (1990)

by P Ashar, S Devadas, A R Newton
Venue:In Proc. 27th ACM/IEEE Design Automation Conf