NOVA: State Assignment of Finite State Machines for Optimal Two-level Logic Implementations. - Villa, Tiziano; Sangiovanni-Vincentelli, Alberto L. (1989)