Nova: state assignment of finite state machines for optimal two-level logic implementations (1989)

by T Villa, A Sangiovanni-Vincentelli