MUSTANG: state assignment of finite state machines targeting multilevel logic implementations.
Srinivas DevadasHi-Keung Tony MaA. Richard NewtonAlberto L. Sangiovanni-VincentelliPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1988)