et al. “SIS: A system for sequential circuit synthesis (1992)

by E Sentovich