NOVA: State Assignment of Finite State Machines for Optimal Two-level Logic Implementations.

Tiziano Villa, Alberto L. Sangiovanni-Vincentelli

Browse the full DAC paper archive.