NOVA: state assignment of finite state machines for optimal two-level logic implementation | IEEE Journals & Magazine | IEEE Xplore